Module MenhirLib.IncrementalEngine
type position = Stdlib.Lexing.positionmodule type INCREMENTAL_ENGINE = sig ... endmodule type SYMBOLS = sig ... endmodule type INSPECTION = sig ... endmodule type EVERYTHING = sig ... end