Module type CamlinternalMenhirLib.EngineTypes.INCREMENTAL_ENGINE_START

module type INCREMENTAL_ENGINE_START = sig .. end

type state 

type semantic_value 

type 'a checkpoint 

val start : state ->
       Lexing.position ->
       semantic_value
       checkpoint