module IncrementalEngine: sig .. end
type position = Lexing.position;
module type INCREMENTAL_ENGINE = sig .. end
module type SYMBOLS = sig .. end
module type INSPECTION = sig .. end
module type EVERYTHING = sig .. end