Index - A
| Abs | Predicate.Prelude, Predicate |
| All | Predicate.Prelude, Predicate |
| AllNegative | Predicate.Prelude, Predicate |
| AllNegative' | Predicate.Prelude, Predicate |
| AllPositive | Predicate.Prelude, Predicate |
| AllPositive' | Predicate.Prelude, Predicate |
| Anchored | Predicate.Util, Predicate |
| Ands | Predicate.Prelude, Predicate |
| Ands' | Predicate.Prelude, Predicate |
| AndT | Predicate.Util, Predicate |
| Any | Predicate.Prelude, Predicate |
| AppendFile | Predicate.Prelude, Predicate |
| arbRefined | Predicate.Refined |
| arbRefined3 | Predicate.Refined3 |
| arbRefined3With | Predicate.Refined3 |
| Asc | Predicate.Prelude, Predicate |
| Asc' | Predicate.Prelude, Predicate |
| Assoc | Predicate.Prelude, Predicate |
| Auto_callout | Predicate.Util, Predicate |