package ocaml-basics

  1. Overview
  2. Docs
module type S1 = sig ... end
module type S2 = sig ... end
val traverse : ('a -> ('b -> 'c) -> 'c) -> ('b list -> 'c) -> ('d -> 'a) -> 'd list -> 'c
val sequence : ('a -> ('b -> 'c) -> 'c) -> ('b list -> 'c) -> 'a list -> 'c
module Make1 (Monad : sig ... end) : S1 with type 'a t := 'a Monad.t
module Make2 (Monad : sig ... end) : S2 with type ('a, 'b) t := ('a, 'b) Monad.t