Module Regexp.ReductionsSource

Reductions represent pattern-match operations in regular expressions. Each reduction tracks which reduction targets to match, which captures to bind, and whether to prefer shortest or longest match.

Sourcetype 'g t = {
  1. pattern : 'g Redgraph.target Utils.Misc.indexset;
  2. capture : Capture.set;
  3. policy : Syntax.quantifier_kind;
}
Sourceval compare : 'g t -> 'g t -> int
Sourceval cmon : _ t -> Cmon.t