Format.add.fin: def of bend-lawful-stdlib@0.1.0.0
Import: import bend-lawful-stdlib@0.1.0.0/src/float/format.bend as Format
Lines 126-135 of bend-lawful-stdlib@0.1.0.0/src/float/format.bend: https://jend.leeeet.dev/read.txt?path=bend-lawful-stdlib@0.1.0.0/src/float/format.bend&start_line=126&end_line=135

import Base
import bend-lawful-stdlib@0.1.0.0/src/float/bin.bend as Bin

def add.fin(f: Format, na: Bool, a: Bin.Bin, +ea: Nat, b: Val) -> Val:
  match b:
    case Z{nb}:
      Fin{na, a, ea}
    case Inf{nb}:
      Inf{nb}
    case NaN{}:
      NaN{}
    case Fin{nb, mb, +eb}:
      add.fin.go(f, na, a, ea, nb, mb, eb, Nat.is_ge(ea, eb))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_ge
  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/format.bend&name=Format
  https://jend.leeeet.dev/definition.txt?path=bend-lawful-stdlib@0.1.0.0/src/float/format.bend&name=Val
  https://jend.leeeet.dev/definition.txt?path=bend-lawful-stdlib@0.1.0.0/src/float/format.bend&name=add.fin.go