obeys_eq

vstd::laws_eq

Function obeys_eq 

Source 
pub open spec fn obeys_eq<T: PartialEq>() -> bool
Expand description
{
    &&& T::obeys_eq_spec()
    &&& obeys_eq_spec_properties::<T>()

}