pub open spec fn spec_bound<T>(bound: Bound<T>) -> SpecBound<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 core::ops::Bound value as a SpecBound.