package lrgrep

  1. Overview
  2. Docs

Module Transl.GlobbingSource

Sourcetype 'g glob_skip = {
  1. dot : bool;
  2. exact : 'g glob_exact;
}
Sourceand 'g glob_exact = {
  1. dots : Utils.IntSet.t;
  2. syms : 'g Info.symbol Utils.Misc.indexset array;
  3. length : int;
  4. skip : 'g glob_skip option;
}
Sourceval parse_component : [< `Dot | `Find of 'a ] list -> Utils.IntSet.t * 'a array
Sourceval structure_filter : 'a Kernel__Info.grammar -> 'a Indices.t -> (Syntax.filter_symbol * Stdlib.Lexing.position) list -> [ `Dot | `Find of ('a Kernel__Info.terminal, 'a Kernel__Info.nonterminal) Fix.Indexing.Sum.n Utils.IndexSet.t ] list * (Utils.IntSet.t * ('a Kernel__Info.terminal, 'a Kernel__Info.nonterminal) Fix.Indexing.Sum.n Utils.IndexSet.t array) list
Sourceval normalize_filter : (Utils.IntSet.t * 'a Info.symbol Utils.Misc.indexset array) list -> 'a glob_exact
Sourceval parse : 'a Kernel__Info.grammar -> 'a Indices.t -> (Syntax.filter_symbol * Stdlib.Lexing.position) list -> 'a glob_exact
Sourceval sub_match : 'a Info.symbol Utils.IndexSet.element array -> int -> 'a glob_exact -> bool
Sourceval match_skip : 'a Info.symbol Utils.IndexSet.element array -> int -> 'a glob_skip -> bool
Sourceval add_dots : int -> 'a glob_exact -> Utils.IntSet.t -> Utils.IntSet.t