package lrgrep

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

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