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

Index - X

XF 
1 (Data Constructor)Predicate.Refined3
2 (Data Constructor)Predicate.Refined2
XTF 
1 (Data Constructor)Predicate.Refined3
2 (Data Constructor)Predicate.Refined2
XTFalse 
1 (Data Constructor)Predicate.Refined3
2 (Data Constructor)Predicate.Refined2
XTTruePredicate.Refined2
XTTrueFPredicate.Refined3
XTTrueTPredicate.Refined3