Index - A
| A | Predicate |
| Abs | Predicate |
| Add | Predicate |
| All | Predicate |
| AllNegative | Predicate |
| AllNegative' | Predicate |
| AllPositive | Predicate |
| AllPositive' | Predicate |
| Anchored | UtilP |
| And | Predicate |
| Ands | Predicate |
| Ands' | Predicate |
| AndT | UtilP |
| Any | Predicate |
| Appendfile | Predicate |
| ApplyConstT | Predicate |
| arbRefined | Refined |
| arbRefined3 | Refined3 |
| arbRefined3With | Refined3 |
| ArrT | UtilP |
| Asc | Predicate |
| Asc' | Predicate |
| Assocl | Predicate |
| Assocr | Predicate |
| Auto_callout | UtilP |