Function extern_spec_core_ops_RangeBounds_T_contains 

pub fn extern_spec_core_ops_RangeBounds_T_contains<Self_, T, U: ?Sized + PartialOrd<T> + DeepModel<DeepModelTy = T::DeepModelTy>>(
    self_: &Self_,
    item: &U,
) -> bool
where
    T: PartialOrd<U> + ?Sized + DeepModel<DeepModelTy: OrdLogic>,
    Self_: ?Sized + RangeBounds<T> + RangeBoundsSpec<T>,

extern spec for ::core::ops::RangeBounds::contains<U>

This is not a real function: its only use is for documentation.

ensures

result == between(self.start_bound_logic().deep_model(), item.deep_model(), self.end_bound_logic().deep_model())