Index - V
| val | Hyper.Diff |
| Var | |
| 1 (Type/Class) | Hyper.Type.AST.Var |
| 2 (Data Constructor) | Hyper.Type.AST.Var |
| VarType | Hyper.Type.AST.Var |
| varType | Hyper.Type.AST.Var |
| verifyConstraints | Hyper.Unify.Constraints, Hyper.Unify |
| verifyRowExtendConstraints | Hyper.Type.AST.Row |