Implements a table from trees to trees. Does structural equivalence checking.

Imports

Procs

proc hashTree(n: PNode): Hash {....raises: [], tags: [].}: Source Edit
proc nodeTableGet(t: TNodeTable; key: PNode): int {....raises: [Exception], tags: [RootEffect].}: Source Edit
proc nodeTablePut(t: var TNodeTable; key: PNode; val: int) {. ...raises: [Exception], tags: [RootEffect].}: Source Edit
proc nodeTableTestOrSet(t: var TNodeTable; key: PNode; val: int): int {. ...raises: [Exception], tags: [RootEffect].}: Source Edit