CamlinternalMenhirLib.EngineTypes.INCREMENTAL_ENGINE_START3o
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
Releases
4 releases since Debian 11 (Bullseye); the text changed 3 times.