pub trait PredicateCompositionExt {
// Required methods
fn and(self, other: Predicate) -> Predicate;
fn or(self, other: Predicate) -> Predicate;
fn not(self) -> Predicate;
}pub trait PredicateCompositionExt {
// Required methods
fn and(self, other: Predicate) -> Predicate;
fn or(self, other: Predicate) -> Predicate;
fn not(self) -> Predicate;
}