LegacyCiphers.lc.tab.get: def of bend-osdev-legacy-ciphers@0.1.0.0
Import: import bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend as LegacyCiphers
Lines 287-301 of bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend&start_line=287&end_line=301

import Base

# entry i of a table of depth d (i below 2^d)
def lc.tab.get(d: Nat, t: LcTab, +i: U32) -> U32:
  match d:
    case 0n:
      match t:
        case LcLeaf{v}:
          v
        case LcNode{l, r}:
          0
    case 1n+(+p):
      match t:
        case LcLeaf{v}:
          v
        case LcNode{l, r}:
          lc.tab.get(p, lc.tab.pick(U32.is_eq(lc.bit(i, p), 1), l, r), i)

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