Monad (base.Base.Monad)

module type Basic = sig ... end

module type Basic2 = sig ... end

module type Basic3 = sig ... end

module type Basic_indexed = sig ... end

module type Basic_local = sig ... end

module type Basic2_local = sig ... end

module type Infix = sig ... end

module type Infix2 = sig ... end

module type Infix3 = sig ... end

module type Infix_indexed = sig ... end

module type Infix_local = sig ... end

module type Infix2_local = sig ... end

module type Syntax = sig ... end

module type Syntax2 = sig ... end

module type Syntax3 = sig ... end

module type Syntax_indexed = sig ... end

module type Syntax_local = sig ... end

module type Syntax2_local = sig ... end

module type S_without_syntax = sig ... end

module type S_without_syntax_local = sig ... end

module type S = sig ... end

module type S2 = sig ... end

module type S3 = sig ... end

module type S_indexed = sig ... end

module type S_local = sig ... end

module type S2_local = sig ... end

module Make (X : Basic) : sig ... end

module Make2 (X : Basic2) : sig ... end

module Make3 (X : Basic3) : sig ... end

module Make_indexed (X : Basic_indexed) : sig ... end

module Make_local (X : Basic_local) : sig ... end

module Make2_local (X : Basic2_local) : sig ... end

module Of_monad (Monad : S) (M : sig ... end) : sig ... end

module Of_monad2 (Monad : S2) (M : sig ... end) : sig ... end

module Of_monad3 (Monad : S3) (M : sig ... end) : sig ... end

module Of_monad_indexed (Monad : S_indexed) (M : sig ... end) : sig ... end

module Ident : sig ... end