Cast5.cast.lookup: 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 320-335 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=320&end_line=335

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

def cast.lookup(+t: LcCastTabs, +i: U32, n: Nat) -> U32:
  match t:
    case LcCastTabs{s1, s2, s3, s4}:
      match n:
        case 0n:
          L.lc.tab.get(8n, s1, L.lc.byte(i, 3n))
        case 1n+n1:
          match n1:
            case 0n:
              L.lc.tab.get(8n, s2, L.lc.byte(i, 2n))
            case 1n+n2:
              match n2:
                case 0n:
                  L.lc.tab.get(8n, s3, L.lc.byte(i, 1n))
                case 1n+n3:
                  L.lc.tab.get(8n, s4, L.lc.byte(i, 0n))

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