Index - V
| validate | Ermine.Parser.Pattern |
| Value | Ermine.Syntax.Core |
| Var | |
| 1 (Data Constructor) | Ermine.Syntax.Kind |
| 2 (Data Constructor) | Ermine.Syntax.Type |
| 3 (Data Constructor) | Ermine.Syntax.Core |
| 4 (Data Constructor) | Ermine.Syntax.Term |
| Variable | Ermine.Syntax |
| variables | Ermine.Core.Lint |
| varp | Ermine.Builtin.Pattern |
| vars | Ermine.Builtin.Pattern |
| vcat | Ermine.Pretty |
| version | Ermine.Version |
| viewConstraint | Ermine.Constraint.Env |
| viewMeta | Ermine.Unification.Meta |
| vsep | Ermine.Pretty |