obeys_cmp

vstd::laws_cmp

Function obeys_cmp 

Source 
pub open spec fn obeys_cmp<T: Ord>() -> bool
Expand description
{
    &&& obeys_eq::<T>()
    &&& obeys_cmp_partial_ord::<T>()
    &&& obeys_cmp_ord::<T>()
    &&& obeys_partial_cmp_spec_properties::<T>()

}