Module Nonempty.Make_access3

Parameters

• T : sig ... end

Signature

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