def Short.bits
import bend-kit-fmt@0.1.0.0/fmt.bend as Fmtimport Base
453# Base's F32.bits does not reduce in the checker, so proofs could not run it.
454def Short.bits(x: F32) -> U32:
455 match x:
456 case F32{w}:
457 U32{w}
import bend-kit-fmt@0.1.0.0/fmt.bend as Fmtimport Base
453# Base's F32.bits does not reduce in the checker, so proofs could not run it.
454def Short.bits(x: F32) -> U32:
455 match x:
456 case F32{w}:
457 U32{w}