def le.signs

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

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

179def le.signs(s: Bool, t: Bool, +x: Word(31n), +y: Word(31n)) -> Type:
180  match s t:
181    case False{} False{}:
182      NotGT(Word.cmp(31n, x, y))
183    case True{} True{}:
184      NotGT(Word.cmp(31n, y, x))
185    case True{} False{}:
186      Unit
187    case False{} True{}:
188      Nat.IsFalse(lt.signs(True{}, False{}, y, x))