package lrgrep

  1. Overview
  2. Docs
package lrgrep
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Transl.IndicesSource

Sourceval string_of_symbol : Syntax.symbol -> string
Sourceval make : 'g Info.grammar -> 'g t
Sourceval 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
Sourceval 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