Cast5.cast.subkeys.of: def of bend-osdev-legacy-ciphers@0.1.0.0
Import: import bend-osdev-legacy-ciphers@0.1.0.0/cast5.bend as Cast5
Lines 445-448 of bend-osdev-legacy-ciphers@0.1.0.0/cast5.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/cast5.bend&start_line=445&end_line=448

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B

def cast.subkeys.of(+t: LcCastKTabs, h: LcCastHalf) -> List<&2, U32>:
  match h:
    case LcCastHalf{ks, +x2}:
      B.append(ks, cast.subkeys.rest(t, cast.half(t, x2)))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=append
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/cast5.bend&name=LcCastHalf
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/cast5.bend&name=LcCastKTabs
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/cast5.bend&name=cast.half
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/cast5.bend&name=cast.subkeys.rest