Index - N
| negateFormula | Twee.Constraints |
| nest | Twee.Pretty, Twee.Base |
| nested | Twee.Rule |
| newArray | Twee.Array |
| NewCP | Twee |
| newEquation | Twee |
| newLabel | Twee.Queue |
| newLabelM | Twee |
| NewRule | Twee |
| nextId | Twee.Label |
| nextLabel | Twee.Queue |
| Nil | Twee.Index |
| noCritInfo | Twee |
| noLabel | Twee.Queue |
| Nonstrict | Twee.Constraints, Twee.Base |
| norm | Twee.Constraints |
| normalForms | Twee.Rule |
| normalise | Twee |
| normaliseCP | Twee |
| normaliseCPQuickly | Twee |
| normaliseCPReducing | Twee |
| NormaliseCPs | Twee |
| normaliseCPs | Twee |
| normaliseIn | Twee |
| normaliseQuickly | Twee |
| normaliseSkolem | Twee |
| normaliseSub | Twee |
| normaliseWith | Twee.Rule |
| null | Twee.Index |
| Numbered | Twee.Term, Twee.Base |