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