Module type Traversable.Basic3

module type Basic3 = sig .. end

type '_ t 

type ('_, '_, '_) f 

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

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