CamlinternalMenhirLib.EngineTypes.INCREMENTAL_ENGINE_START

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