Bin.sbb: def of bend-lawful-stdlib@0.1.0.0
Import: import bend-lawful-stdlib@0.1.0.0/src/float/bin.bend as Bin
Lines 113-127 of bend-lawful-stdlib@0.1.0.0/src/float/bin.bend: https://jend.leeeet.dev/read.txt?path=bend-lawful-stdlib@0.1.0.0/src/float/bin.bend&start_line=113&end_line=127

import Base

# a - b - borrow, for a >= b (callers order the operands with cmp first)
def sbb(a: Bin, b: Bin, +w: Bool) -> Bin:
  match a b:
    case a BZ{}:
      sbb.one(a, w)
    case BZ{} b:
      BZ{}
    case B0{x} B0{y}:
      cons(w, sbb(x, y, w))
    case B0{x} B1{y}:
      cons(Bool.not(w), sbb(x, y, True{}))
    case B1{x} B0{y}:
      cons(Bool.not(w), sbb(x, y, False{}))
    case B1{x} B1{y}:
      cons(w, sbb(x, y, w))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=bend-lawful-stdlib@0.1.0.0/src/float/bin.bend&name=Bin
  https://jend.leeeet.dev/definition.txt?path=bend-lawful-stdlib@0.1.0.0/src/float/bin.bend&name=cons
  https://jend.leeeet.dev/definition.txt?path=bend-lawful-stdlib@0.1.0.0/src/float/bin.bend&name=sbb.one