Function singleton

src/analysis/numerical/interval_domain.rs:464–466

(n: Integer)

}

fn singleton(n: Integer) -> Interval {
    Interval::new(Bound::Int(n.clone()), Bound::Int(n))
}

fn union_paths<Type>(
    lhs: &IntervalAbstractDomain<Type>,