pub fn merge_constraints(&mut self, other: Self) {
        assert_eq!(self.operator, Operator::And);
        assert_eq!(other.operator, Operator::And);
        self.args.extend(other.args);
    }
/// Augment our constraints with those on `other`.
///
/// Invariant: self and other are ANDs
Augment our constraints with those on `other`.
Invariant: self and other are ANDs
Augment our constraints with those on ` other ` . Invariant : self and other are ANDs
pub fn merge_constraints(&mut self, other: Self) {
        assert_eq!(self.operator, Operator::And);
        assert_eq!(other.operator, Operator::And);
        self.args.extend(other.args);
    }
pub fn merge_constraints ( & mut self , other : Self ) { assert_eq ! ( self operator Operator And ) ; assert_eq ! ( other operator Operator And ) ; self . args . extend ( other . args ) ; }
Augment our constraints with those on `other`.
Augment our constraints with those on ` other ` .
&mut self
other
Self