Index - >
| > | Predicate.Prelude, Predicate |
| >= | Predicate.Prelude, Predicate |
| >=~ | Predicate.Prelude, Predicate |
| >> | Predicate.Prelude, Predicate |
| >| | Predicate.Prelude, Predicate |
| >~ | Predicate.Prelude, Predicate |
predicate-typed-0.2.0.0: Predicates, Refinement types and Dsl