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