A | TPDB.Data, TPDB.XTC |
AC | TPDB.Data, TPDB.XTC |
afeArity | TPDB.CPF.Proof.Type |
afeFilter | TPDB.CPF.Proof.Type |
afeSymbol | TPDB.CPF.Proof.Type |
AFIfEqual | TPDB.CPF.Proof.Type |
AFMax | TPDB.CPF.Proof.Type |
AFMin | TPDB.CPF.Proof.Type |
AFNatural | TPDB.CPF.Proof.Type |
AFProduct | TPDB.CPF.Proof.Type |
AFSum | TPDB.CPF.Proof.Type |
AFVariable | TPDB.CPF.Proof.Type |
angles | TPDB.Pretty |
anylist | TPDB.Plain.Read |
apply | TPDB.DP.Unify |
Arctic | TPDB.CPF.Proof.Type |
ArgumentFilterEntry | |
1 (Type/Class) | TPDB.CPF.Proof.Type |
2 (Data Constructor) | TPDB.CPF.Proof.Type |
ArithFunction | |
1 (Type/Class) | TPDB.CPF.Proof.Type |
2 (Data Constructor) | TPDB.CPF.Proof.Type |
arity | |
1 (Function) | TPDB.Data, TPDB.XTC |
2 (Function) | TPDB.CPF.Proof.Type |
atTag | TPDB.XTC.Read, TPDB.XTC |
Attributes | |
1 (Type/Class) | TPDB.Data.Attributes |
2 (Data Constructor) | TPDB.Data.Attributes |
attributes | TPDB.Data, TPDB.XTC |
Auxiliary | TPDB.DP.Transform, TPDB.DP |