Module Let_syntax.Let_syntax

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