def OfU32.value

bend-collections-laws-crypto@1.0.0.0 · spec/math/f64.bend:403

import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend as F

403def OfU32.value(+u: U32) -> Type:
404  {F.of_u32(u) == round(False{}, U32.to_nat(u), zb()) : F.F64}