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