law neg_key.bits

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

import bend-lawful-stdlib@0.1.0.0/src/float/f32.bend as F32
import Base

622law neg_key.bits:
623  for a: F32
624  IsKey(key(a)) -> IsKey(key(neg_bits(a)))

Uses (6)

Used by (1)