This module implements the pattern matching features for term rewriting macro support.
Procs
proc sameTrees(a, b: PNode): bool {...}{.raises: [Exception], tags: [RootEffect].}
- Source Edit
proc applyRule(c: PContext; s: PSym; n: PNode): PNode {...}{. raises: [Exception, ERecoverableError, ValueError, IOError], tags: [RootEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect].}
- returns a tree to semcheck if the rule triggered; nil otherwise Source Edit