Index - Z
| zero | Predicate.Util, Predicate |
| Zip | Predicate.Prelude, Predicate |
| ZipL | Predicate.Prelude, Predicate |
| ZipR | Predicate.Prelude, Predicate |
| ZipThese | Predicate.Prelude, Predicate |
| ZwischenT | Predicate.Util, Predicate |
predicate-typed-0.6.2.0: Predicates, Refinement types and Dsl