Module Incr_dom__App_intf.S_derived.Model

type t
val cutoff : t ‑> t ‑> bool