predicate-typed-0.4.0.0: Predicates, Refinement types and Dsl

Index - <

<Predicate.Prelude, Predicate
<$Predicate.Prelude, Predicate
<*Predicate.Prelude, Predicate
<..>Predicate.Prelude, Predicate
<<Predicate.Prelude, Predicate
<=Predicate.Prelude, Predicate
<=~Predicate.Prelude, Predicate
<>Predicate.Prelude, Predicate
<|>Predicate.Prelude, Predicate
<~Predicate.Prelude, Predicate