Index - V
| ValBinds | Refact.Compat |
| ValD | Refact.Compat |
| ValueAnnProvenance | Refact.Compat |
| VarBind | Refact.Compat |
| VarBr | Refact.Compat |
| VarPat | Refact.Compat |
| var_ext | Refact.Compat |
| var_id | Refact.Compat |
| var_rhs | Refact.Compat |
| Verbosity | Refact.Internal |
| ViaStrategy | Refact.Compat |
| ViewPat | Refact.Compat |
| VirtualBraces | Refact.Compat |