Module Accessor__Nonempty.Of_applicative_without_return

Parameters

Signature

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