Module Getter.Make_access4

Parameters

Signature

val access : ('i -> 'a -> 'b'it -> 'at -> 'bt[> Accessor.Subtyping.getter ]) accessor -> ('i Accessor.Index.t * 'a'b'c'd) T.t -> ('it Accessor.Index.t * 'at'bt'c'd) T.t