Module S.Incr
type 'a t= ('a, state_witness) Incremental.t
module Cutoff : sig ... end with type 'a t = 'a Incremental.Cutoff.tS.Incrtype 'a t = ('a, state_witness) Incremental.tmodule Cutoff : sig ... end with type 'a t = 'a Incremental.Cutoff.t