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

Index - +

+Predicate.Prelude, Predicate
++Predicate.Prelude, Predicate
+++Predicate.Prelude, Predicate
+:Predicate.Prelude, Predicate