package ocaml-basics

  1. Overview
  2. Docs
module type S1 = sig ... end
module Make1 (Monad : sig ... end) : S1 with type 'a t := 'a Monad.t
module type S2 = sig ... end
module Make2 (Monad : sig ... end) : S2 with type ('a, 'b) t := ('a, 'b) Monad.t