Index - A
| angles | TPDB.Pretty |
| anylist | TPDB.Plain.Read |
| Arctic | |
| 1 (Data Constructor) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.Rainbow.Proof.Type |
| Arctic_Below_Zero | TPDB.Rainbow.Proof.Type |
| arity | |
| 1 (Function) | TPDB.Data, TPDB.XTC |
| 2 (Function) | TPDB.CPF.Proof.Type |
| As_SRS | TPDB.Rainbow.Proof.Type |
| As_TRS | TPDB.Rainbow.Proof.Type |
| atTag | TPDB.XTC.Read, TPDB.XTC |
| Auxiliary | TPDB.DP |