def u32_val

bend-collections-laws-crypto@1.0.0.0 · spec/math/generic.bend:276

import bend-collections-laws-crypto@1.0.0.0/spec/math/generic.bend as Generic

import Base

276# ---- instance models ----
277# U32: the value and the U32 of a value below 2^32 (width 32)
278def u32_val(x: U32) -> Nat:
279  U32.to_nat(x)

Uses (3)

Used by (21)