law from_nat_to_nat
import lawful-words@0.1.0.0/LAWS.bend as LAWSimport Base
28law from_nat_to_nat:
29 for a: U32
30 {U32.from_nat(U32.to_nat(a)) == a : U32}
Uses (4)
Used by (0)
No other definition uses this definition.
import lawful-words@0.1.0.0/LAWS.bend as LAWSimport Base
28law from_nat_to_nat:
29 for a: U32
30 {U32.from_nat(U32.to_nat(a)) == a : U32}
No other definition uses this definition.