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