~/jendhub

law key_sign

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

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

596# whether a value is NaN does not depend on its sign
597law key_sign:
598  for s: Bool
599  for t: Bool
600  for m: Word(31n)
601  for c: Cmp
602  IsKey(key.cls(s, m, c)) -> IsKey(key.cls(t, m, c))

Uses (6)

Used by (1)