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

Index - <

<Predicate
<$Predicate
<*Predicate
<<Predicate
<=Predicate
<=?Predicate
<>Predicate
<?Predicate
<|>Predicate