Accessor__Nonempty.Of_applicative_without_return3
A : sig ... end
val of_nonempty : ('bt, 'a, 'b) t -> access:('a -> ('b, 'e, 'f) A.t) -> ('bt, 'e, 'f) A.t