def add.borrow

bend-kit-f64@0.1.0.0 · f64.bend:672

import Base

672def add.borrow(sign: U32, exp: U32, +total: W4) -> F64:
673  add.cancel(W4.nz(total), sign, exp, total, True{})