OBTraversable (p.ocaml-basics.0.3.0.doc.ocaml-basics.OBTraversable)

Sourcemodule type S1 = sig ... end

Sourcemodule type S2 = sig ... end

val traverse : 
  ('a -> ('b -> 'c) -> 'c) ->
  ('b list -> 'c) ->
  ('d -> 'a) ->
  'd list ->
  'c

Sourceval sequence : ('a -> ('b -> 'c) -> 'c) -> ('b list -> 'c) -> 'a list -> 'c

Sourcemodule Make1 (Monad : OBMonad.S1) : S1 with type 'a t := 'a Monad.t

Sourcemodule Make2 (Monad : OBMonad.S2) : S2 with type ('a, 'b) t := ('a, 'b) Monad.t