pub fn obeys_cmp_spec<T: Ord>() -> bool
laws_cmp::obeys_cmp_spec
laws_cmp::obeys_cmp
{ obeys_cmp::<T>() }