def add.fin.cmp

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

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

99# add two finite values once their mantissas share the exponent e
100def add.fin.cmp(f: Format, na: Bool, nb: Bool, a: Bin.Bin, b: Bin.Bin, e: Nat, c: Cmp) -> Val:
101  match c:
102    case LT{}:
103      round(f, nb, Bin.sub(b, a), e)
104    case EQ{}:
105      Z{False{}}
106    case GT{}:
107      round(f, na, Bin.sub(a, b), e)