law is_zero_to_nat
import lawful-words@0.1.0.0/LAWS.bend as LAWSimport Base
82law is_zero_to_nat:
83 for a: U32
84 {U32.is_zero(a) == Nat.is_eq(U32.to_nat(a), 0n) : Bool}
Uses (6)
Used by (0)
No other definition uses this definition.
import lawful-words@0.1.0.0/LAWS.bend as LAWSimport Base
82law is_zero_to_nat:
83 for a: U32
84 {U32.is_zero(a) == Nat.is_eq(U32.to_nat(a), 0n) : Bool}
No other definition uses this definition.