sig type state type semantic_value type 'a checkpoint val start : CamlinternalMenhirLib.EngineTypes.INCREMENTAL_ENGINE_START.state -> Stdlib.Lexing.position -> CamlinternalMenhirLib.EngineTypes.INCREMENTAL_ENGINE_START.semantic_value CamlinternalMenhirLib.EngineTypes.INCREMENTAL_ENGINE_START.checkpoint end