law total.same

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

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

import Base

419law total.same:
420  for +x: Word(31n)
421  for +y: Word(31n)
422  for e: {Cmp.is_lt(Word.cmp(31n, x, y)) == False{} : Bool}
423  NotGT(Word.cmp(31n, y, x))

Uses (7)

Used by (1)

bend-lawful-stdlib@0.1.0.0/src/float/f32:total.signs