module Make2: functor (F : Basic2) -> S2 with type ('p, 'a) t := ('p, 'a) F.t
functor (
F
:
Basic2
) ->
S2
with type ('p, 'a) t := ('p, 'a) F.t
include Functor.Basic2
val (>|=) : ('p, 'a) t -> ('a -> 'b) -> ('p, 'b) t
('p, 'a) t -> ('a -> 'b) -> ('p, 'b) t
val replace : 'a -> ('p, 'b) t -> ('p, 'a) t
'a -> ('p, 'b) t -> ('p, 'a) t
val void : ('p, 'a) t -> ('p, unit) t
('p, 'a) t -> ('p, unit) t