pub open spec fn set_int_range(lo: int, hi: int) -> Set<int>
{ Set::<int>::range(lo, hi) }
Creates a finite set of integers in the range [lo, hi).