Dtype.dw_fin: def of bendtorch@1.3.0.0
Import: import bendtorch@1.3.0.0/dtype.bend as Dtype
Lines 526-529 of bendtorch@1.3.0.0/dtype.bend: https://jend.leeeet.dev/read.txt?path=bendtorch@1.3.0.0/dtype.bend&start_line=526&end_line=529

import Base

# hi + x: TwoSum's s and its exact error, plus the old lo and an extra error term c
def dw_fin(+s: F32, +bb: F32, +a: F32, +x: F32, +lo: F32, +c: F32) -> DW:
  +e = ((a - (s - bb : F32) : F32) + (x - bb : F32) : F32)
  dw_norm(s, ((e + lo : F32) + c : F32))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.sub
  https://jend.leeeet.dev/definition.txt?path=bendtorch@1.3.0.0/dtype.bend&name=DW
  https://jend.leeeet.dev/definition.txt?path=bendtorch@1.3.0.0/dtype.bend&name=dw_norm