Module S_gen.Incr

type 'a t
module Cutoff : sig ... end