Index - *
| * | Predicate.Data.Numeric, Predicate.Prelude, Predicate |
| ** | Predicate.Data.Numeric, Predicate.Prelude, Predicate |
| *** | Predicate.Data.Tuple, Predicate.Prelude, Predicate |
| *> | Predicate.Data.Lifted, Predicate.Prelude, Predicate |
predicate-typed-0.7.4.0: Predicates, Refinement types and Dsl