CamlinternalMenhirLib.EngineTypes.INCREMENTAL_ENGINE_START(3)

NAME
CamlinternalMenhirLib.EngineTypes.INCREMENTAL_ENGINE_START - no description

Module type
Module type CamlinternalMenhirLib.EngineTypes.INCREMENTAL_ENGINE_START

Documentation

Module type INCREMENTAL_ENGINE_START
 = sig end

type state

type semantic_value

type 'a checkpoint

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