Module Incr_dom.App_intf.S_derived.Model

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