Module `Make.Proc`

module Val : sig ... end: This module is intended to be used with a yet-unfinished PPX. I recommend avoiding this module until let%sub is finished.

module Computation : sig ... end with type 'a t = ('a, Incr.state_witness, Event.t) Generic.Proc.Computation.t

val sub : 'a Computation.t -> f:('a Val.t -> 'b Computation.t) -> 'b Computation.t
val return : 'a Val.t -> 'a Computation.t
val apply : ('a, 'b) t -> 'a Val.t -> 'b Computation.t
val apply_unit : (unit, 'b) t -> 'b Computation.t
val proc : ('a Val.t -> 'b Computation.t) -> ('a, 'b) t
val if_ : bool Val.t -> then_:'a Computation.t -> else_:'a Computation.t -> 'a Computation.t
val enum : (module Enum with type t = 'a) -> match_:'a Val.t -> with_:('a -> 'b Computation.t) -> 'b Computation.t