Nonempty.Of_applicative_without_return2
A : sig ... end
val of_nonempty : ('bt, 'a, 'b) t -> access:('a -> ('b, 'e) A.t) -> ('bt, 'e) A.t