Index - =
| == | Predicate.Data.Ordering, Predicate.Prelude, Predicate |
| ==! | Predicate.Data.Ordering, Predicate.Prelude, Predicate |
| ===~ | Predicate.Data.Ordering, Predicate.Prelude, Predicate |
| ==~ | Predicate.Data.Ordering, Predicate.Prelude, Predicate |
predicate-typed-0.7.4.0: Predicates, Refinement types and Dsl