Proc.Computation
type 'a t
= ('a, Incr.state_witness, Vdom.Event.t) Bonsai.Generic.Proc.Computation.t