Index - I
| ids | Jukebox.Form |
| Iff | Jukebox.TPTP.Lexer |
| Implies | |
| 1 (Data Constructor) | Jukebox.TPTP.Lexer |
| 2 (Data Constructor) | Jukebox.Form |
| Include | |
| 1 (Data Constructor) | Jukebox.TPTP.Lexer |
| 2 (Data Constructor) | Jukebox.TPTP.Parse.Core |
| include | Jukebox.TPTP.Parse.Core |
| IncludeStatement | Jukebox.TPTP.Parse.Core |
| ind | Jukebox.GuessModel |
| individual | Jukebox.TPTP.Parse.Core |
| inferBox | Jukebox.Toolbox |
| inferTypes | Jukebox.InferTypes |
| Infinite | Jukebox.Form |
| inGroup | Jukebox.Options |
| initial | Jukebox.UnionFind |
| initialState | Jukebox.TPTP.Parse.Core |
| initialStateFrom | Jukebox.TPTP.Parse.Core |
| Input | |
| 1 (Type/Class) | Jukebox.Form |
| 2 (Data Constructor) | Jukebox.Form |
| input | Jukebox.TPTP.Parse.Core |
| Input_ | Jukebox.Form |
| Integer | Jukebox.Name |
| intType | Jukebox.TPTP.Parse.Core |
| io | Jukebox.Options |
| isFalse | |
| 1 (Function) | Jukebox.Sat3 |
| 2 (Function) | Jukebox.Form |
| isFof | Jukebox.Form |
| isRep | Jukebox.UnionFind |
| isTrue | |
| 1 (Function) | Jukebox.Sat3 |
| 2 (Function) | Jukebox.Form |