Function vstd::set_lib::set_int_range
source · pub open spec fn set_int_range(lo: int, hi: int) -> Set<int>Expand description
{ Set::new(|i: int| lo <= i && i < hi) }Creates a finite set of integers in the range [lo, hi).