def lc.tab.set

bend-osdev-cipher-core@0.1.0.0 · cipher_core.bend:323

import Base

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