jon.recoil.org

Module CamlinternalMenhirLib.EngineTypes

type ('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) CamlinternalMenhirLib.EngineTypes.stack;
}
type ('state, 'semantic_value, 'token) env = {
  1. error : bool;
  2. triple : 'token * Stdlib.Lexing.position * Stdlib.Lexing.position;
  3. stack : ('state, 'semantic_value) CamlinternalMenhirLib.EngineTypes.stack;
  4. current : 'state;
}
module type LOG = sig ... end
module type TABLE = sig ... end
module type MONOLITHIC_ENGINE = sig ... end
module type INCREMENTAL_ENGINE_START = sig ... end
module type ENGINE = sig ... end