Module `Accessor__.Mapping`

type (_, _) t: An (i -> a -> b, w) t is some mapping from i and a to b. w determines what kind of mapping it is.

val with_hk : (('a Accessor.Index.t * 'b, 'c, 'd) Accessor__.Import.Hk.t2 -> ('e Accessor.Index.t * 'f, 'g, 'h) Accessor__.Import.Hk.t2) -> ('a -> 'b -> 'c, 'd) t -> ('e -> 'f -> 'g, 'h) t

module Make4 : functor (T : sig ... end) -> sig ... end