Aesround.ad.tab.get: def of bend-osdev-aead@0.1.0.0
Import: import bend-osdev-aead@0.1.0.0/aesround.bend as Aesround
Lines 127-140 of bend-osdev-aead@0.1.0.0/aesround.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-aead@0.1.0.0/aesround.bend&start_line=127&end_line=140

import Base

def ad.tab.get(d: Nat, t: AdTab, +i: U32) -> U32:
  match d:
    case 0n:
      match t:
        case AdLeaf{v}:
          v
        case AdNode{l, r}:
          0
    case 1n+(+p):
      match t:
        case AdLeaf{v}:
          v
        case AdNode{l, r}:
          ad.tab.get(p, ad.tab.pick(U32.is_eq(U32.and(1, U32.shrn(i, p)), 1), l, r), i)

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=Base/base.bend&name=U32.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.shrn
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-aead@0.1.0.0/aesround.bend&name=AdTab
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-aead@0.1.0.0/aesround.bend&name=ad.tab.pick