| And | Rerefined.Predicate.Logical |
| CompareLength | Rerefined.Predicate.Relational.Length, Rerefined.Predicate.Relational, Rerefined.Predicates |
| CompareValue | Rerefined.Predicate.Relational.Value, Rerefined.Predicate.Relational, Rerefined.Predicates |
| EQ' | Rerefined.Predicate.Relational.Internal, Rerefined.Predicate.Relational, Rerefined.Predicates |
| Fail | Rerefined.Predicate.Fail, Rerefined.Predicates |
| GT' | Rerefined.Predicate.Relational.Internal, Rerefined.Predicate.Relational, Rerefined.Predicates |
| GTE | Rerefined.Predicate.Relational.Internal, Rerefined.Predicate.Relational, Rerefined.Predicates |
| Logical | Rerefined.Predicate.Logical, Rerefined.Predicates |
| LogicOp | Rerefined.Predicate.Logical |
| LT' | Rerefined.Predicate.Relational.Internal, Rerefined.Predicate.Relational, Rerefined.Predicates |
| LTE | Rerefined.Predicate.Relational.Internal, Rerefined.Predicate.Relational, Rerefined.Predicates |
| Nand | Rerefined.Predicate.Logical |
| Neg | Rerefined.Predicate.Relational.Value, Rerefined.Predicate.Relational, Rerefined.Predicates |
| NEQ | Rerefined.Predicate.Relational.Internal, Rerefined.Predicate.Relational, Rerefined.Predicates |
| Nor | Rerefined.Predicate.Logical |
| Not | Rerefined.Predicate.Logical, Rerefined.Predicates |
| Or | Rerefined.Predicate.Logical |
| Pos | Rerefined.Predicate.Relational.Value, Rerefined.Predicate.Relational, Rerefined.Predicates |
| Predicate | Rerefined.Predicate, Rerefined.Predicate.Common |
| predicateName | Rerefined.Predicate, Rerefined.Predicate.Common |
| predicateName1 | Rerefined.Predicate.Common |
| predicateName2 | Rerefined.Predicate.Common |
| prettyRefineFailure | Rerefined.Refine |
| proxy# | Rerefined.Predicate.Common |
| Refine | Rerefined.Predicate, Rerefined.Predicate.Common |
| refine | Rerefined.Refine |
| Refine1 | Rerefined.Predicate, Rerefined.Predicate.Common |
| refine1 | Rerefined.Refine |
| refine1TH | Rerefined.Refine.TH |
| Refined | |
| 1 (Type/Class) | Rerefined.Refined |
| 2 (Data Constructor) | Rerefined.Refined |
| Refined1 | |
| 1 (Type/Class) | Rerefined.Refined1 |
| 2 (Data Constructor) | Rerefined.Refined1 |
| RefineFailure | |
| 1 (Type/Class) | Rerefined.Predicate, Rerefined.Predicate.Common |
| 2 (Data Constructor) | Rerefined.Predicate, Rerefined.Predicate.Common |
| refineFailureDetail | Rerefined.Predicate, Rerefined.Predicate.Common |
| refineFailureInner | Rerefined.Predicate, Rerefined.Predicate.Common |
| refineFailurePredicate | Rerefined.Predicate, Rerefined.Predicate.Common |
| refineTH | Rerefined.Refine.TH |
| ReifyLogicOp | Rerefined.Predicate.Logical |
| reifyLogicOp | Rerefined.Predicate.Logical |
| reifyLogicOpPretty | Rerefined.Predicate.Logical |
| ReifyRelOp | Rerefined.Predicate.Relational.Internal |
| reifyRelOp | Rerefined.Predicate.Relational.Internal |
| reifyRelOpPretty | Rerefined.Predicate.Relational.Internal |
| ReifySign | Rerefined.Predicate.Relational.Value |
| ReifySignedNat | Rerefined.Predicate.Relational.Value |
| reifySignedNat | Rerefined.Predicate.Relational.Value |
| RelOp | Rerefined.Predicate.Relational.Internal, Rerefined.Predicate.Relational, Rerefined.Predicates |
| rerefineDeMorgans1 | Rerefined.Predicate.Logical |
| rerefineDeMorgans2 | Rerefined.Predicate.Logical |
| Sign | Rerefined.Predicate.Relational.Value, Rerefined.Predicate.Relational, Rerefined.Predicates |
| signPretty | Rerefined.Predicate.Relational.Value |
| Succeed | Rerefined.Predicate.Succeed, Rerefined.Predicates |
| Typeable | Rerefined.Predicate.Common |
| Typeably | |
| 1 (Type/Class) | Rerefined.Predicate.Common |
| 2 (Data Constructor) | Rerefined.Predicate.Common |
| unrefine | Rerefined.Refined |
| unrefine1 | Rerefined.Refined1 |
| unsafeRefine | Rerefined.Refine.Unsafe |
| unsafeRefine1 | Rerefined.Refine.Unsafe |
| unsafeRerefine | Rerefined.Refine.Unsafe |
| validate | Rerefined.Predicate, Rerefined.Predicate.Common |
| validate1 | Rerefined.Predicate, Rerefined.Predicate.Common |
| validateBool | Rerefined.Predicate.Common |
| validateCompareLength | Rerefined.Predicate.Relational.Length |
| validateFail | Rerefined.Predicate.Common |
| widenCompareLength | Rerefined.Predicate.Relational.Length |
| WidenRelOp | Rerefined.Predicate.Relational.Internal |
| WROE | Rerefined.Predicate.Relational.Length |
| WROE' | Rerefined.Predicate.Relational.Length |
| Xnor | Rerefined.Predicate.Logical |
| Xor | Rerefined.Predicate.Logical |