Module Nonempty_getter.Make_access3

Parameters

Signature

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