Module Incr.Cutoff

type 'a t