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

Index - &

&Predicate
&&Predicate
&&&Predicate