Function extern_spec_core_cmp_PartialOrd_Rhs_ge 

pub fn extern_spec_core_cmp_PartialOrd_Rhs_ge<Self_, Rhs: ?Sized + DeepModel<DeepModelTy = Self_::DeepModelTy>>(
    self_: &Self_,
    other: &Rhs,
) -> bool
where
    Self_: ?Sized + PartialOrd<Rhs> + DeepModel<DeepModelTy: PartialOrdLogic>,

extern spec for ::core::cmp::PartialOrd::ge

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

ensures

result == (self.deep_model() >= other.deep_model())