Index - N
| NatLabel | Termlib.FunctionSymbol |
| newId | Termlib.TermGraph |
| nfNormalize | Termlib.TermGraph |
| Node | |
| 1 (Type/Class) | Termlib.TermGraph |
| 2 (Data Constructor) | Termlib.TermGraph |
| nodeId | Termlib.TermGraph |
| nodes | Termlib.TermGraph |
| nonVariableSubterms | |
| 1 (Function) | Termlib.Term |
| 2 (Function) | Termlib.Repl |