law is_eq_to_nat

lawful-words@0.1.0.0 · LAWS.bend:52

import Base

52law is_eq_to_nat:
53  for a: U32
54  for b: U32
55  {U32.is_eq(a, b) == Nat.is_eq(U32.to_nat(a), U32.to_nat(b)) : Bool}