Index - V
| valuation | Test.QuickSpec.Term |
| value | Test.QuickSpec.Term |
| Var | Test.QuickSpec.Term |
| var | Test.QuickSpec.Term |
| Variable | |
| 1 (Type/Class) | Test.QuickSpec.Term |
| 2 (Data Constructor) | Test.QuickSpec.Term |
| variables | Test.QuickSpec.Signature |
| variableSig | Test.QuickSpec.Signature |
| variableTypes | Test.QuickSpec.Signature |
| vars | |
| 1 (Function) | Test.QuickSpec.Term |
| 2 (Function) | Test.QuickSpec.Signature, Test.QuickSpec |