Predicate existential types.
for providing predicate accepted
values and references respectively.
Provided implementations for common predicates.
Recommended prelude for this crate.
A value that is accepted by a given predicate.
A reference to a value that is accepted by a given predicate.
A predicate over a single variable.
A predicate over two variables.
Convenience extension for