~/jendhub

law Numeric.u32_value_fits

gralha-bendquest@0.1.0.0 · numeric.bend:291

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

291law Numeric.u32_value_fits:
292  for +w: U32
293  Numeric.Fits<32n, U32.to_nat(w)>

Uses (4)

Used by (4)