Function extern_spec_core_cmp_PartialEq_Rhs_eq 

pub fn extern_spec_core_cmp_PartialEq_Rhs_eq<Self_, Rhs: ?Sized + DeepModel<DeepModelTy = Self_::DeepModelTy>>(
    self_: &Self_,
    rhs: &Rhs,
) -> bool
where
    Self_: ?Sized + PartialEq<Rhs> + DeepModel,

extern spec for ::core::cmp::PartialEq::eq

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

ensures

result == (self.deep_model() == rhs.deep_model())