Module MenhirLib.EngineTypesSource

Sourcetype ('state, 'semantic_value) stack = {
  1. state : 'state;
  2. semv : 'semantic_value;
  3. startp : Stdlib.Lexing.position;
  4. endp : Stdlib.Lexing.position;
  5. next : ('state, 'semantic_value) stack;
}
Sourcetype ('state, 'semantic_value, 'token) env = {
  1. error : bool;
  2. triple : 'token * Stdlib.Lexing.position * Stdlib.Lexing.position;
  3. stack : ('state, 'semantic_value) stack;
  4. current : 'state;
}
Sourcemodule type TABLE = sig ... end
Sourcemodule type MONOLITHIC_ENGINE = sig ... end
Sourcemodule type INCREMENTAL_ENGINE_START = sig ... end
Sourcemodule type ENGINE = sig ... end