vstd::laws_eq

Function obeys_eq_spec

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

}