def add.fin.go

bend-lawful-stdlib@0.1.0.0 · src/float/format.bend:119

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

119def add.fin.go(f: Format, na: Bool, a: Bin.Bin, +ea: Nat, nb: Bool, b: Bin.Bin, +eb: Nat, a_high: Bool) -> Val:
120  match a_high:
121    case True{}:
122      add.fin.aligned(f, na, nb, Bin.shl(a, Nat.sub(ea, eb)), b, eb)
123    case False{}:
124      add.fin.aligned(f, na, nb, a, Bin.shl(b, Nat.sub(eb, ea)), ea)