Value | TPDB.CPF.Proof.Type |
value | TPDB.CPF.Proof.Type |
Var | |
1 (Data Constructor) | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
2 (Type/Class) | TPDB.Data, TPDB.Data, TPDB.XTC, TPDB.XTC |
varcount | TPDB.Data.Attributes |
varcount_term | TPDB.Data.Attributes |
Variables | TPDB.Data, TPDB.XTC |
variables | TPDB.Data, TPDB.XTC |
varpos | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
vars | 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 |