Module Regexp.ReductionsSource

The RE module type defines the signature for regular expressions, including types for reductions, unique IDs to identify sub-terms, and the regular expression terms themselves.

It also includes functions for creating, comparing, and converting regular expressions to a Cmon document.

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