patterns

    Dark Mode
Search:
Group by:

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