def neg_bits

bend-lawful-stdlib@0.1.0.0 · src/float/f32.bend:91

import bend-lawful-stdlib@0.1.0.0/src/float/f32.bend as F32
import Base

91# IEEE 754 negation: the sign bit flipped
92def neg_bits(x: F32) -> F32:
93  match x:
94    case F32{w}:
95      F32{neg.go(split(31n, w))}

Uses (3)

Used by (5)