Module type CamlinternalMenhirLib.IncrementalEngine.EVERYTHING

module type EVERYTHING = sig .. end

include CamlinternalMenhirLib.IncrementalEngine.INCREMENTAL_ENGINE
include CamlinternalMenhirLib.IncrementalEngine.INSPECTION