Cast5.cast.ks: 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 368-380 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=368&end_line=380

import Base
import bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend as L

# S_j[byte i of a], j = 5 to 8
def cast.ks(+t: LcCastKTabs, j: Nat, +a: List<&2, U32>, +i: Nat) -> U32:
  match t:
    case LcCastKTabs{s5, s6, s7, s8}:
      match j:
        case 5n:
          L.lc.tab.get(8n, s5, L.lc.at(a, i))
        case 6n:
          L.lc.tab.get(8n, s6, L.lc.at(a, i))
        case 7n:
          L.lc.tab.get(8n, s7, L.lc.at(a, i))
        case _:
          L.lc.tab.get(8n, s8, L.lc.at(a, i))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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-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/legacy_ciphers.bend&name=lc.at
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend&name=lc.tab.get