law neg_key.bits
import bend-lawful-stdlib@0.1.0.0/src/float/f32.bend as F32import Base
622law neg_key.bits:
623 for a: F32
624 IsKey(key(a)) -> IsKey(key(neg_bits(a)))
import bend-lawful-stdlib@0.1.0.0/src/float/f32.bend as F32import Base
622law neg_key.bits:
623 for a: F32
624 IsKey(key(a)) -> IsKey(key(neg_bits(a)))