Module Nonempty_getter.Make_access
Parameters
T : sig ... end
Signature
val access : ('i -> 'a -> 'b, 'it -> 'at -> 'bt, [> Accessor.Subtyping.nonempty_getter ]) accessor -> ('i Accessor.Index.t * 'a, 'b) T.t -> ('it Accessor.Index.t * 'at, 'bt) T.t