Functor Traversable.Make3

module Make3: functor (T : Basic3) -> S3  with
    type 'a t := 'a T.t and
    type ('u, 'v, 'a) f := ('u, 'v, 'a) T.f

Parameters:

T : Basic3

include Traversable.Basic3

val sequence : ('a, 'b, 'c) f t -> ('a, 'b, 'c t) f

val sequence_ : ('a, 'b, 'c) f t -> ('a, 'b, unit) f