CipherCore.lc.tab.set: def of bend-osdev-cipher-core@0.1.0.0
Import: import bend-osdev-cipher-core@0.1.0.0/cipher_core.bend as CipherCore
Lines 323-325 of bend-osdev-cipher-core@0.1.0.0/cipher_core.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-cipher-core@0.1.0.0/cipher_core.bend&start_line=323&end_line=325

import Base

# entry i of a table of depth d set to v (i below 2^d)
def lc.tab.set(d: Nat, t: LcTab, +i: U32, v: U32) -> LcTab:
  lc.tab.set.go(t, lc.tab.path(d, i), v)

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-cipher-core@0.1.0.0/cipher_core.bend&name=LcTab
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-core@0.1.0.0/cipher_core.bend&name=lc.tab.path
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-core@0.1.0.0/cipher_core.bend&name=lc.tab.set.go