semi | QuickSpec.Term |
sep | QuickSpec.Term |
series | QuickSpec |
Sig | QuickSpec |
Signature | QuickSpec |
signature | QuickSpec |
size | QuickSpec.Term |
Sized | QuickSpec.Term |
sizedText | QuickSpec.Term |
skolemiseTypeVars | QuickSpec.Type |
space | QuickSpec.Term |
splitConstrainedType | QuickSpec.Type |
Str | QuickSpec.Term |
String | QuickSpec.Type |
Style | |
1 (Data Constructor) | QuickSpec.Term |
2 (Type/Class) | QuickSpec.Term |
style | QuickSpec.Term |
Sub | QuickSpec |
subst | QuickSpec.Term |
subterms | QuickSpec.Term |
supply | QuickSpec.Term |
SymA | QuickSpec.Type |
Symbolic | QuickSpec.Term |