package accessor

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Module `Nonempty.Make_access`

Parameters

module T : sig ... end

Signature

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