| And | Rerefined.Predicate.Logical.And, Rerefined.Predicate.Logical, Rerefined.Predicates |
| Builder | Rerefined.Predicate.Common |
| CompareLength | Rerefined.Predicate.Relational.Length, Rerefined.Predicate.Relational, Rerefined.Predicates |
| CompareValue | Rerefined.Predicate.Relational.Value, Rerefined.Predicate.Relational, Rerefined.Predicates |
| Cont | Rerefined.Predicate.Logical |
| Cont1 | Rerefined.Predicate.Logical |
| Done | Rerefined.Predicate.Logical |
| eliminateAndLR | Rerefined.Predicate.Logical.And |
| eliminateAndRL | Rerefined.Predicate.Logical.And |
| Fail | Rerefined.Predicate.Fail, Rerefined.Predicates |
| GTE | Rerefined.Predicate.Relational.Internal, Rerefined.Predicate.Relational, Rerefined.Predicates |
| Idk1' | Rerefined.Predicate.Logical |
| If | Rerefined.Predicate.Logical.If, Rerefined.Predicate.Logical, Rerefined.Predicates |
| Iff | Rerefined.Predicate.Logical.Iff, Rerefined.Predicate.Logical, Rerefined.Predicates |
| introduceAndLR | Rerefined.Predicate.Logical.And |
| introduceAndRL | Rerefined.Predicate.Logical.And |
| KnownPredicateName | Rerefined.Predicate, Rerefined.Predicate.Common |
| LTE | Rerefined.Predicate.Relational.Internal, Rerefined.Predicate.Relational, Rerefined.Predicates |
| Nand | Rerefined.Predicate.Logical.Nand, Rerefined.Predicate.Logical, Rerefined.Predicates |
| Neg | Rerefined.Predicate.Relational.Value, Rerefined.Predicate.Relational, Rerefined.Predicates |
| NEQ | Rerefined.Predicate.Relational.Internal |
| Nor | Rerefined.Predicate.Logical.Nor, Rerefined.Predicate.Logical, Rerefined.Predicates |
| NormalizeLogical1Step | Rerefined.Predicate.Logical |
| NormalizeLogicalStep | Rerefined.Predicate.Logical |
| NormalizeOrRelOp | Rerefined.Predicate.Relational.Internal |
| Not | Rerefined.Predicate.Logical.Not, Rerefined.Predicate.Logical, Rerefined.Predicates |
| Or | Rerefined.Predicate.Logical.Or, Rerefined.Predicate.Logical, Rerefined.Predicates |
| Pos | Rerefined.Predicate.Relational.Value, Rerefined.Predicate.Relational, Rerefined.Predicates |
| Predicate | Rerefined.Predicate, Rerefined.Predicate.Common, Rerefined |
| PredicateName | Rerefined.Predicate, Rerefined.Predicate.Common, Rerefined.Predicate.Common |
| predicateName | Rerefined.Predicate, Rerefined.Predicate.Common |
| PredicateNameBOp | Rerefined.Predicate.Common.Binary |
| prettyRefineFailure | Rerefined.Refine, Rerefined |
| prettyRefineFailure' | Rerefined.Refine, Rerefined |
| proxy# | Rerefined.Predicate.Common |
| Refine | Rerefined.Predicate, Rerefined.Predicate.Common, Rerefined |
| refine | Rerefined.Refine, Rerefined |
| Refine1 | Rerefined.Predicate, Rerefined.Predicate.Common, Rerefined |
| refine1 | Rerefined.Refine, Rerefined |
| refine1TH | Rerefined.Refine.TH, Rerefined |
| Refined | Rerefined.Refine, Rerefined |
| Refined1 | Rerefined.Refine, Rerefined |
| RefineFailure | |
| 1 (Type/Class) | Rerefined.Predicate, Rerefined.Predicate.Common, Rerefined.Refine, Rerefined |
| 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, Rerefined |
| reifyPredicate | Rerefined.Refine, Rerefined |
| reifyPredicate1 | Rerefined.Refine, Rerefined |
| ReifyRelOp | Rerefined.Predicate.Relational.Internal |
| reifyRelOp | Rerefined.Predicate.Relational.Internal |
| ReifySignedNat | Rerefined.Predicate.Relational.Value |
| reifySignedNat | Rerefined.Predicate.Relational.Value |
| rerefineAndL | Rerefined.Predicate.Logical.And |
| rerefineAndR | Rerefined.Predicate.Logical.And |
| Result | Rerefined.Predicate.Logical |
| ShowRelOp | Rerefined.Predicate.Relational.Internal |
| ShowSign | Rerefined.Predicate.Relational.Value |
| Sign | Rerefined.Predicate.Relational.Value, Rerefined.Predicate.Relational, Rerefined.Predicates |
| squashRefined1 | Rerefined.Refine, Rerefined |
| Succeed | Rerefined.Predicate.Succeed, Rerefined.Predicates |
| unrefine | Rerefined.Refine, Rerefined |
| unrefine1 | Rerefined.Refine, Rerefined |
| unsafeRefine | Rerefined.Refine, Rerefined |
| unsafeRefine1 | Rerefined.Refine, Rerefined |
| unsafeRerefine | Rerefined.Refine, Rerefined |
| unsafeRerefine1 | Rerefined.Refine, Rerefined |
| 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 |
| widenCompareLength1 | Rerefined.Predicate.Relational.Length |
| WidenRelOp | Rerefined.Predicate.Relational.Internal |
| WROE | Rerefined.Predicate.Relational.Length |
| WROE' | Rerefined.Predicate.Relational.Length |
| Xor | Rerefined.Predicate.Logical.Xor, Rerefined.Predicate.Logical, Rerefined.Predicates |