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