Module type CamlinternalMenhirLib.EngineTypes.INCREMENTAL_ENGINE_START

module type INCREMENTAL_ENGINE_START = sig .. end

---

type state;

type semantic_value;

type checkpoint('a);

let start: (state, Lexing.position) => checkpoint(semantic_value);