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