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