def NegOk

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

import Base

481# the hardware's negation flips the sign bit of every non-NaN float. A
482# NaN's sign and payload are left out: the JS lane does not keep them.
483def NegOk() -> Type:
484  @a: F32 -> IsKey(key(a)) -> {F32.neg(a) == neg_bits(a) : F32}