Function extern_spec_std_cmp_PartialEq_Rhs_eq 

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

extern spec for ::std::cmp::PartialEq::eq

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

ensures

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