Index - V
| VAbs | Value |
| vAbs | Value |
| vadd | Termination |
| Val | Value |
| valuateGen | Value |
| Valuation | |
| 1 (Type/Class) | Value |
| 2 (Data Constructor) | Value |
| valuation | Value |
| valueOf | Abstract |
| VApp | Value |
| Var | Abstract |
| varBelowInfty | Eval |
| VarMults | Polarity |
| varMults | Polarity |
| VarP | Abstract |
| VBelow | Value |
| VCase | Value |
| vcat | PrettyTCM |
| VClos | Value |
| vCon | Value |
| VConst | Value |
| vDat | Value |
| VDef | Value |
| vDef | Value |
| Vector | Termination |
| version | Version |
| vFinSize | Value |
| vFun | Value |
| VGen | Value |
| vGenSuccs | TCM |
| VGuard | Value |
| VInfty | Value |
| VIrr | Value |
| VLam | Value |
| vLam | Value |
| vlist | Abstract |
| VMax | Value |
| VMeasured | Value |
| VMeta | Value |
| VPair | Value |
| VPlus | Value |
| VProj | Value |
| vqDom | Value |
| vqFun | Value |
| vqName | Value |
| vqPiSig | Value |
| VQuant | Value |
| VRecord | Value |
| VSing | Value |
| vSing | Eval |
| vSize | Value |
| VSort | Value |
| vSort | Value |
| vSortToSort | Value |
| VSucc | Value |
| vSucc | Value |
| vTopSort | Value |
| vTSize | Value |
| VUp | Value |
| VZero | Value |