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

Index - %

%Predicate
%%UtilP, Predicate
%&UtilP, Predicate
%-Predicate