Module type Traversable.Basic2

module type Basic2 = sig .. end

type '_ t 

type ('_, '_) f 

val traverse : ('a -> ('u, 'b) f) ->
       'a t -> ('u, 'b t) f

val traverse_ : ('a -> ('u, 'b) f) ->
       'a t -> ('u, unit) f