Function interval_leq

src/analysis/numerical/interval_domain.rs:485–489

(lhs: &Interval, rhs: &Interval)

}

fn interval_leq(lhs: &Interval, rhs: &Interval) -> bool {
    lhs.is_bottom()
        || rhs.is_top()
        || (!rhs.is_bottom() && rhs.low <= lhs.low && lhs.high <= rhs.high)
}

fn join_interval(lhs: &Interval, rhs: &Interval) -> Interval {
    if lhs.is_bottom() {