Module type CamlinternalMenhirLib.IncrementalEngine.INSPECTION

module type INSPECTION = sig .. end

include CamlinternalMenhirLib.IncrementalEngine.SYMBOLS;
type lr1state('a);
type production;
type item = (production, int);
let compare_terminals: (terminal('a), terminal('b)) => int;
let compare_nonterminals: (nonterminal('a), nonterminal('b)) => int;
let compare_symbols: (xsymbol, xsymbol) => int;
let compare_productions: (production, production) => int;
let compare_items: (item, item) => int;
let incoming_symbol: lr1state('a) => symbol('a);
let items: lr1state('a) => list(item);
let lhs: production => xsymbol;
let rhs: production => list(xsymbol);
let nullable: nonterminal('a) => bool;
let first: (nonterminal('a), terminal('b)) => bool;
let xfirst: (xsymbol, terminal('a)) => bool;
let foreach_terminal: ((xsymbol, 'a) => 'a, 'a) => 'a;
let foreach_terminal_but_error: ((xsymbol, 'a) => 'a, 'a) => 'a;
type env('a);
let feed:
  (
    symbol('a),
    CamlinternalMenhirLib.IncrementalEngine.position,
    'a,
    CamlinternalMenhirLib.IncrementalEngine.position,
    env('b)
  ) =>
  env('b);