Up

Module type Monad

Signature

module type Basic = Basic

module type Basic2 = Basic2

module type Infix = Infix

module type Infix2 = Infix2

module type Syntax = Syntax

module type Syntax2 = Syntax2

module type S_without_syntax = S_without_syntax

module type S = S

module type S2 = S2

module Make (X : Basic) : S with type 'a t := 'a X.t

module Make2 (X : Basic2) : S2 with type ('a, 'e) t := ('a, 'e) X.t

module Ident : S with type 'a t = 'a