pub fn eq<T, U>(_a: T, _b: U)where (T, U): EqNat,
Check that one natural number is equal to the other.