V | QuickSpec.Term |
Value | QuickSpec.Type |
valueType | QuickSpec.Type |
Var | |
1 (Type/Class) | QuickSpec.Term |
2 (Data Constructor) | QuickSpec.Term |
vars | |
1 (Function) | QuickSpec.Term |
2 (Function) | QuickSpec |
var_id | QuickSpec.Term |
var_ty | QuickSpec.Term |
vcat | QuickSpec.Term |