law Numeric.u32_encode_agrees

gralha-bendquest@0.1.0.0 · numeric.bend:200

import Base

200law Numeric.u32_encode_agrees:
201  for +k: Nat
202  {U32.from_nat(k) == U32{Numeric.encode(32n, k)} : U32}