Module Bonsai.Proc

module Val : sig ... end
module Computation : sig ... end
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