~/jendhub

law total.mixed

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

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

429law total.mixed:
430  for +x: Word(31n)
431  for +y: Word(31n)
432  for e: {lt.signs(True{}, False{}, x, y) == False{} : Bool}
433  Nat.IsFalse(lt.signs(True{}, False{}, x, y))

Uses (6)

Used by (1)