Module `Accessor__.Ident`

type 'a t = 'a: An applicative used to convert a many into a mapper.

val of_many : ('bt, 'a, 'b) Accessor.Many.t -> access:('a -> 'b t) -> 'bt t
val of_nonempty : ('bt, 'a, 'b) Accessor.Nonempty.t -> access:('a -> 'b t) -> 'bt t