F64.add.both: def of bend-kit-f64@0.1.0.0
Import: import bend-kit-f64@0.1.0.0/f64.bend as F64
Lines 753-756 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=753&end_line=756

import Base

def add.both(a: F64, b: F64, pa: Parts, pb: Parts) -> F64:
  match pa pb:
    case Parts{ka, sa, ea, ma} Parts{kb, sb, eb, mb}:
      add.ka(ka, kb, a, b, sa, ea, ma, sb, eb, mb)

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=F64
  https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=Parts
  https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=add.ka