Module Many_getter.Make_access

Parameters

Signature

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