law neg_mag.go

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

import Base

568law neg_mag.go:
569  for r: Word(31n) & Bool
570  {first(r) == first(split(31n, neg.go(r))) : Word(31n)}