module Make: functor (T : Basic) -> S with type 'a t := 'a T.t and type 'a f := 'a T.f
functor (
T
:
Basic
) ->
S
with type 'a t := 'a T.t and type 'a f := 'a T.f
include Traversable.Basic
val sequence : 'a f t -> 'a t f
'a f t -> 'a t f
val sequence_ : 'a f t -> unit f
'a f t -> unit f