def add.fin.signs

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

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

109def add.fin.signs(f: Format, na: Bool, nb: Bool, +a: Bin.Bin, +b: Bin.Bin, e: Nat, differ: Bool) -> Val:
110  match differ:
111    case False{}:
112      round(f, na, Bin.add(a, b), e)
113    case True{}:
114      add.fin.cmp(f, na, nb, a, b, e, Bin.cmp(a, b))