Indices (p.lrgrep.0.3.doc.kernel.Kernel.Transl.Indices)

Sourceval string_of_symbol : Syntax.symbol -> string

Sourcetype 'g t = {

all_symbols : 'g Info.symbol Utils.Misc.indexset;
by_incoming_symbol : ('g Info.symbol, 'g Info.lr1 Utils.Misc.indexset) Fix.Indexing.vector;
prod_by_lhs : ('g Info.nonterminal, 'g Info.production Utils.Misc.indexset) Fix.Indexing.vector;
by_items : ('g Info.item, 'g Info.lr1 Utils.Misc.indexset) Fix.Indexing.vector;

}

Sourceval make : 'g Info.grammar -> 'g t

val find_symbols : 
  'a Kernel__Info.grammar ->
  'a t ->
  Syntax.symbol option ->
  ('a Info.symbol Utils.Misc.indexset,
    [ `Dym of (int * string * 'a Info.Symbol.n Fix.Indexing.index) list
    | `Mangled of 'a Kernel__Info.nonterminal Fix.Indexing.index ])
    Stdlib.Result.t

Source

val get_symbol : 
  'a Kernel__Info.grammar ->
  Stdlib.Lexing.position ->
  Syntax.symbol ->
  ('a Kernel__Info.terminal, 'a Kernel__Info.nonterminal) Fix.Indexing.Sum.n
    Fix.Indexing.index