def lt.signs

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

import Base

144def lt.signs(s: Bool, t: Bool, +x: Word(31n), +y: Word(31n)) -> Bool:
145  match s t:
146    case False{} False{}:
147      Cmp.is_lt(Word.cmp(31n, x, y))
148    case True{} True{}:
149      Cmp.is_lt(Word.cmp(31n, y, x))
150    case True{} False{}:
151      Bool.not(Bool.and(zero(x), zero(y)))
152    case False{} True{}:
153      False{}