Module Nonempty.Of_applicative_without_return2

Parameters

Signature

val of_nonempty : ('bt'a'b) t -> access:('a -> ('b'e) A.t) -> ('bt'e) A.t