Index - V
| V | Core.TT |
| valIBCSubDir | Idris.AbsSyntax |
| Value | Core.Evaluate |
| VApp | Core.Evaluate |
| Var | Core.TT |
| var | Idris.DSL |
| VBind | Core.Evaluate |
| VBLet | Core.Evaluate |
| vcat | Util.Pretty |
| VConstant | Core.Evaluate |
| Ver | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ver | |
| 1 (Function) | Idris.IBC |
| 2 (Function) | Idris.REPL |
| VErased | Core.Evaluate |
| Verbose | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| verbose | Idris.AbsSyntax |
| version | Paths_idris |
| ViaC | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ViaJava | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ViaJavaScript | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ViaLLVM | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ViaNode | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| VImpossible | Core.Evaluate |
| vinstances | Core.TT |
| vivid | Idris.Colours |
| VoidType | Core.TT |
| voidType | IRTS.Java.JTypes |
| VP | Core.Evaluate |
| VProj | Core.Evaluate |
| VTmp | Core.Evaluate |
| vToP | Core.TT |
| VType | Core.Evaluate |
| VV | Core.Evaluate |