F64.mul32: def of bend-kit-f64@0.1.0.0
Import: import bend-kit-f64@0.1.0.0/f64.bend as F64
Lines 406-411 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=406&end_line=411

import Base

def mul32(+x: U32, +y: U32) -> W2:
  +x0 = (x .&. 65535 : U32)
  +x1 = (x >> 16n : U32)
  +y0 = (y .&. 65535 : U32)
  +y1 = (y >> 16n : U32)
  mul32.of((x0 * y0 : U32), (x0 * y1 : U32), (x1 * y0 : U32), (x1 * y1 : U32))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.mul
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.shrn
  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=mul32.of