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 |