Module Constructor.Make_access4
Parameters
T : sig ... end
Signature
val access : ('i -> 'a -> 'b, 'it -> 'at -> 'bt, [> Accessor.Subtyping.constructor ]) accessor -> ('i Accessor.Index.t * 'a, 'b, 'c, 'd) T.t -> ('it Accessor.Index.t * 'at, 'bt, 'c, 'd) T.t