Index - I
| implicitArguments | QuickSpec.Term |
| In | QuickSpec.Type |
| infixStyle | QuickSpec.Term |
| Inl | QuickSpec.Term |
| Inr | QuickSpec.Term |
| inst | QuickSpec |
| instanceOf | QuickSpec |
| int | QuickSpec.Term |
| integer | QuickSpec.Term |
| invisible | QuickSpec.Term |
| isApp | QuickSpec.Term |
| isDictionary | QuickSpec.Type |
| isEmpty | QuickSpec.Term |
| isTypeVar | QuickSpec.Type |
| isVar | QuickSpec.Term |