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