Module Proc.Computation

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