Parameter S_to_S_indexed.1-X
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.