Skip to main content

spec_bound_ref

vstd::std_specs::range

Function spec_bound_ref 

Source 
pub open spec fn spec_bound_ref<'a, T>(bound: &'a Bound<T>) -> SpecBound<&'a T>
Expand description
{
    match bound {
        Bound::Included(value) => SpecBound::Included(value),
        Bound::Excluded(value) => SpecBound::Excluded(value),
        Bound::Unbounded => SpecBound::Unbounded,
    }
}

Spec model of a borrowed core::ops::Bound value as a SpecBound.