Method widening_with

src/analysis/numerical/interval_domain.rs:168–170

(&self, other: &Self)

    }

    fn widening_with(&self, other: &Self) -> Self {
        self.widening_with(other)
    }
}

impl<Type> IntervalAbstractDomain<Type>