Index - I
| Id | |
| 1 (Type/Class) | Twee.Base |
| 2 (Data Constructor) | Twee.Base |
| idempotent | Twee.Term, Twee.Base |
| idempotentOn | Twee.Term, Twee.Base |
| implicitArguments | Twee.Pretty, Twee.Base |
| Index | Twee.Index |
| index_all | Twee.Rule.Index |
| index_oriented | Twee.Rule.Index |
| infixStyle | Twee.Pretty, Twee.Base |
| Info | |
| 1 (Type/Class) | Twee |
| 2 (Data Constructor) | Twee |
| info_depth | Twee |
| info_max | Twee |
| initialState | Twee |
| insert | |
| 1 (Function) | Twee.Index |
| 2 (Function) | Twee.Rule.Index |
| int | Twee.Pretty, Twee.Base |
| integer | Twee.Pretty, Twee.Base |
| Interreduce | Twee |
| interreduce | Twee |
| interreduce1 | Twee |
| intMax | Twee.Utils |
| intMin | Twee.Utils |
| invariant | Twee.Index |
| invisible | Twee.Pretty, Twee.Base |
| isApp | Twee.Term, Twee.Base |
| isEmpty | Twee.Pretty, Twee.Base |
| isEquals | Twee.Base |
| isFalse | Twee.Base |
| isGround | Twee.Base |
| isInstanceOf | Twee.Term, Twee.Base |
| isMinimal | Twee.Base |
| isSorted | Twee.Utils |
| isSortedBy | Twee.Utils |
| isSubtermOf | Twee.Term, Twee.Base |
| isSubtermOfList | Twee.Term, Twee.Base |
| isTrue | Twee.Base |
| isVar | Twee.Term, Twee.Base |
| isVariantOf | Twee.Term, Twee.Base |