law neg_mag

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

import Base

585# |-a| is |a|, bit for bit
586law neg_mag:
587  for ~ng: NegOk()
588  for +a: F32
589  for ka: IsKey(key(a))
590  {mag(a) == mag(F32.neg(a)) : Word(31n)}