C | QuickSpec.Type, QuickSpec |
canApply | QuickSpec.Type |
canonicalise | QuickSpec.Term |
canonicaliseType | QuickSpec.Type |
cast | QuickSpec.Type |
cat | QuickSpec.Term |
char | QuickSpec.Term |
Chr | QuickSpec.Term |
ClassA | QuickSpec.Type |
ClassB | QuickSpec.Type |
ClassC | QuickSpec.Type |
ClassD | QuickSpec.Type |
ClassE | QuickSpec.Type |
ClassF | QuickSpec.Type |
colon | QuickSpec.Term |
comma | QuickSpec.Term |
compareFuns | QuickSpec.Term |
con | QuickSpec |
curried | QuickSpec.Term |