Function extern_spec_core_ops_RangeBounds_T_contains 

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

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())