~/jendhub

def add.fin.aligned

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

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

116def add.fin.aligned(f: Format, +na: Bool, +nb: Bool, a: Bin.Bin, b: Bin.Bin, e: Nat) -> Val:
117  add.fin.signs(f, na, nb, a, b, e, Bool.xor(na, nb))

Uses (7)

Used by (1)