~/jendhub

law Numeric.u32_roundtrip

gralha-bendquest@0.1.0.0 · numeric.bend:212

import gralha-bendquest@0.1.0.0/numeric.bend as Numeric
import Base

212law Numeric.u32_roundtrip:
213  for +w: U32
214  {U32.from_nat(U32.to_nat(w)) == w : U32}

Uses (6)

Used by (0)

No other definition uses this definition.