package clarity

  1. Overview
  2. Docs

Monads

module type Basic = sig ... end
module type Basic2 = sig ... end
module type Basic3 = sig ... end
module type S = sig ... end
module type S2 = sig ... end
module type S3 = sig ... end
module Make (M : Basic) : S with type 'a t := 'a M.t
module Make2 (M : Basic2) : S2 with type ('p, 'a) t := ('p, 'a) M.t
module Make3 (M : Basic3) : S3 with type ('p, 'q, 'a) t := ('p, 'q, 'a) M.t
OCaml

Innovation. Community. Security.