Monad_let (snarky.Snarky_backendless.Monad

The usual Janestreet Monad interfaces, with Let_syntax included in the monad module.

module type Let_syntax = sig ... end

module type Base_syntax = sig ... end

module type Syntax = sig ... end

module type S = sig ... end

module type Let_syntax2 = sig ... end

module type Base_syntax2 = sig ... end

module type Syntax2 = sig ... end

module type S_without_syntax2 = sig ... end

module type S2 = sig ... end

module type Let_syntax3 = sig ... end

module type Base_syntax3 = sig ... end

module type Syntax3 = sig ... end

module type S_without_syntax3 = sig ... end

module type S3 = sig ... end

module Make3
  (X : Core_kernel.Monad.Basic3) : 
  S3 with type ('a, 'd, 'e) t := ( 'a, 'd, 'e ) X.t

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

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