Expand description
A resolved view of a pattern for backtracking analysis (milestone M8).
Every leaf is already a CharSet under the dialect’s rules (case folding,
shorthand definitions, alphabet mode), so analyses need no dialect logic.
Zero-width constructs are kept as terms of the shared [TermStore], which
knows how to evaluate them against the input seen so far.
Structs§
- RNode
- A pattern node with leaves resolved to symbol sets.
Enums§
- RKind
- Node shapes.