Module Make.Incr

type 'a t = ('astate_witness) Incremental.t
module Cutoff : sig ... end with type 'a t = 'a Incremental.Cutoff.t