Index - V
| V | |
| 1 (Data Constructor) | Disco.Types |
| 2 (Data Constructor) | Disco.Value |
| ValProp | Disco.Value |
| Value | Disco.Value |
| ValueEnumeration | Disco.Enumerate |
| Var | Disco.Types |
| Variance | Disco.Types.Rules |
| varRels | Disco.Typecheck.Solve |
| varsBound | Disco.AST.Typed |
| VBag | Disco.Value |
| vcat | |
| 1 (Function) | Disco.Report |
| 2 (Function) | Disco.Pretty.DSL, Disco.Pretty |
| vchar | Disco.Value |
| VClo | Disco.Value |
| VCons | Disco.Value |
| VConst | Disco.Value |
| VFun | Disco.Value |
| VFun_ | Disco.Value |
| VGraph | Disco.Value |
| VInj | Disco.Value |
| vint | Disco.Value |
| vlist | Disco.Value |
| VM | Disco.Typecheck.Solve |
| VMap | Disco.Value |
| VNil | Disco.Value |
| VNum | Disco.Value |
| Void | Disco.Types |
| VPair | Disco.Value |
| vpair | Disco.Value |
| VPDone | Disco.Value |
| VProp | Disco.Value |
| VPSearch | Disco.Value |
| vrat | Disco.Value |
| VRef | Disco.Value |
| vsep | Disco.Report |
| VType | Disco.Value |
| VUnit | Disco.Value |