This module implements the pattern matching features for term rewriting macro support.
proc applyRule(c: PContext; s: PSym; n: PNode): PNode {. ...raises: [Exception, ERecoverableError, KeyError], tags: [RootEffect, ReadIOEffect].}
proc sameTrees(a, b: PNode): bool {....raises: [Exception], tags: [RootEffect].}