Module Let_syntax.Let_syntax

val return : 'result -> (_'result) t
val map : ('input'r1) t -> f:('r1 -> 'r2) -> ('input'r2) t
val both : ('input'r1) t -> ('input'r2) t -> ('input'r1 * 'r2) t
val sub : 'a Proc.Computation.t -> f:('a Proc.Val.t -> 'b Proc.Computation.t) -> 'b Proc.Computation.t
module Open_on_rhs : module type of Infix