pub fn obeys_eq_spec<T: PartialEq>() -> bool
laws_eq::obeys_eq_spec
laws_eq::obeys_eq
{ obeys_eq::<T>() }