Module type CamlinternalMenhirLib.IncrementalEngine.EVERYTHING

module type EVERYTHING = sig .. end

---

include CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE;

include CamlinternalMenhirLib.IncrementalEngine.INSPECTION;