• en

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