F64.mul.acc: def of bend-kit-f64@0.1.0.0
Import: import bend-kit-f64@0.1.0.0/f64.bend as F64
Lines 441-444 of bend-kit-f64@0.1.0.0/f64.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-f64@0.1.0.0/f64.bend&start_line=441&end_line=444

import Base

def mul.acc(p00: W2, p01: W2, p10: W2, p11: W2) -> W4:
  match p00 p01 p10 p11:
    case W2{h00, l00} W2{h01, l01} W2{h10, l10} W2{h11, l11}:
      mul.sum1(l00, h01, l10, h10, h11, l11, Limb.add(h00, l01, 0))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=Limb.add
  https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W2
  https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4
  https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=mul.sum1