Index - .
| .&. | Predicate.Data.Bits, Predicate.Prelude, Predicate |
| ... | Predicate.Data.Enum, Predicate.Prelude, Predicate |
| .^. | Predicate.Data.Bits, Predicate.Prelude, Predicate |
| .|. | Predicate.Data.Bits, Predicate.Prelude, Predicate |
predicate-typed-0.7.4.0: Predicates, Refinement types and Dsl