~/jendhub

law neg_key

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

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

631# the negation of a non-NaN is not NaN
632law neg_key:
633  for ~ng: NegOk()
634  for +a: F32
635  for +ka: IsKey(key(a))
636  IsKey(key(F32.neg(a)))

Uses (8)

Used by (0)

No other definition uses this definition.