CamlinternalMenhirLib.EngineTypes.INCREMENTAL_ENGINE_START.3o

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