Index - I
| idempotent | Twee.Term, Twee.Base |
| idempotentOn | Twee.Term, Twee.Base |
| implicitArguments | Twee.Pretty, Twee.Base |
| Index | |
| 1 (Type/Class) | Twee.Index |
| 2 (Data Constructor) | Twee.Index |
| index | Twee.Term.Core |
| Indexes | |
| 1 (Type/Class) | Twee.Indexes |
| 2 (Data Constructor) | Twee.Indexes |
| infixStyle | Twee.Pretty, Twee.Base |
| info | Twee |
| Initial | Twee |
| InitialCP | |
| 1 (Type/Class) | Twee |
| 2 (Data Constructor) | Twee |
| initialId | Twee.Label |
| initialState | Twee |
| insert | |
| 1 (Function) | Twee.Queue |
| 2 (Function) | Twee.Index |
| 3 (Function) | Twee.Indexes |
| int | Twee.Pretty, Twee.Base |
| integer | Twee.Pretty, Twee.Base |
| interreduce | Twee |
| invisible | Twee.Pretty, Twee.Base |
| isEmpty | Twee.Pretty, Twee.Base |
| isFun | |
| 1 (Function) | Twee.Term.Core |
| 2 (Function) | Twee.Term, Twee.Base |
| isGround | Twee.Base |
| isInstanceOf | Twee.Term, Twee.Base |
| isMinimal | Twee.Base |
| isSorted | Twee.Utils |
| isSortedBy | Twee.Utils |
| isVar | Twee.Term, Twee.Base |
| isVariantOf | Twee.Term, Twee.Base |