Index - V
| Value | TPDB.CPF.Proof.Type |
| value | TPDB.CPF.Proof.Type |
| Var | |
| 1 (Data Constructor) | TPDB.Data.Term.Cached |
| 2 (Data Constructor) | TPDB.Data.Term.Plain, TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| 3 (Type/Class) | TPDB.Data, TPDB.Data, TPDB.XTC, TPDB.XTC |
| varcount | TPDB.Data.Attributes |
| varcount_term | TPDB.Data.Attributes |
| VariableConditionViolated | TPDB.CPF.Proof.Type |
| Variables | TPDB.Data, TPDB.XTC |
| variables | TPDB.Data, TPDB.XTC |
| varpos | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| vars | |
| 1 (Function) | TPDB.Data.Term.Cached |
| 2 (Function) | TPDB.Data.Term.Plain, TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| Var_Declaration | TPDB.Plain.Read |
| vcat | TPDB.Pretty |
| Vector | TPDB.CPF.Proof.Type |
| version | TPDB.CPF.Proof.Type |
| vmap | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| voccs | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| vsep | TPDB.Pretty |