Module CamlinternalMenhirLib.EngineTypes

module EngineTypes: sig .. end

type ('state, 'semantic_value) stack = {

	`state : 'state;`
	`semv : 'semantic_value;`
	`startp : Lexing.position;`
	`endp : Lexing.position;`
	`next : ('state, 'semantic_value) stack;`

}

type ('state, 'semantic_value, 'token) env = {

	`error : bool;`
	`triple : 'token * Lexing.position * Lexing.position;`
	`stack : ('state, 'semantic_value) stack;`
	`current : 'state;`

}

module type TABLE = sig .. end

module type MONOLITHIC_ENGINE = sig .. end

module type INCREMENTAL_ENGINE_START = sig .. end

module type ENGINE = sig .. end

The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained from this page.