F64.W4.shl.limbs: def of bend-kit-f64@0.1.0.0
Import: import bend-kit-f64@0.1.0.0/f64.bend as F64
Lines 346-357 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=346&end_line=357

import Base

def W4.shl.limbs(k: Nat, bits: U32, w: W4) -> W4:
  match k:
    case 0n:
      W4.shl.bits(bits, w)
    case 1n:
      W4.shl.bits(bits, W4.slide1(w))
    case 2n:
      W4.shl.bits(bits, W4.slide2(w))
    case 3n:
      W4.shl.bits(bits, W4.slide3(w))
    case 4n+p:
      W4{0, 0, 0, 0}

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  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=W4.shl.bits
  https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.slide1
  https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.slide2
  https://jend.leeeet.dev/definition.txt?path=bend-kit-f64@0.1.0.0/f64.bend&name=W4.slide3