law neg_mag.bits
import bend-lawful-stdlib@0.1.0.0/src/float/f32.bend as F32import Base
576law neg_mag.bits:
577 for a: F32
578 {mag(a) == mag(neg_bits(a)) : Word(31n)}
import bend-lawful-stdlib@0.1.0.0/src/float/f32.bend as F32import Base
576law neg_mag.bits:
577 for a: F32
578 {mag(a) == mag(neg_bits(a)) : Word(31n)}