module Make2: functor (T : Basic2) -> S2 with type 'a t := 'a T.t and type ('u, 'a) f := ('u, 'a) T.f
functor (
T
:
Basic2
) ->
S2
with type 'a t := 'a T.t and type ('u, 'a) f := ('u, 'a) T.f
include Traversable.Basic2
val sequence : ('u, 'a) f t -> ('u, 'a t) f
('u, 'a) f t -> ('u, 'a t) f
val sequence_ : ('u, 'a) f t -> ('u, unit) f
('u, 'a) f t -> ('u, unit) f