def dw_add3
import bendtorch@1.3.0.0/dtype.bend as Dtypeimport Base
531def dw_add3(d: DW, +x: F32, +c: F32) -> DW:
532 match d:
533 case DW{+hi, +lo}:
534 +s = (hi + x : F32)
535 dw_fin(s, (s - hi : F32), hi, x, lo, c)
import bendtorch@1.3.0.0/dtype.bend as Dtypeimport Base
531def dw_add3(d: DW, +x: F32, +c: F32) -> DW:
532 match d:
533 case DW{+hi, +lo}:
534 +s = (hi + x : F32)
535 dw_fin(s, (s - hi : F32), hi, x, lo, c)