• en

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
The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained from this page.