Index - A
| addCancellationRule | Twee |
| addEquals | Twee.Constraints |
| addExtraRule | Twee |
| addGoals | Twee |
| addLess | Twee.Constraints |
| addRule | Twee |
| addTerm | Twee.Constraints |
| allRules | Twee |
| allSubst | Twee.Term, Twee.Base |
| And | Twee.Constraints |
| anywhere | Twee.Rule |
| anywhere1 | Twee.Rule |
| App | Twee.Term, Twee.Base |
| app | Twee.Term, Twee.Base |
| Arity | Twee.Base |
| arity | Twee.Base |
| Array | |
| 1 (Type/Class) | Twee.Array |
| 2 (Data Constructor) | Twee.Array |
| array | Twee.Term.Core |
| arrayContents | Twee.Array |
| arraySize | Twee.Array |
| at | Twee.Term.Core, Twee.Term, Twee.Base |
| Atom | Twee.Constraints |
| atomicCancellation | Twee |
| atoms | Twee.Constraints |