Module Monad_intf.S2_to_S
Parameters
Signature
type 'a t
= ('a, unit) X.t
include S_without_syntax with type 'a t := 'a t
module Monad_infix : Infix with type 'a t := 'a t
val return : 'a -> 'a t
return v
returns the (trivial) computation that returns v.