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

Index - K

KeepPredicate
KeepImplPredicate