~/jendhub

def lc.tab.set

bend-osdev-legacy-ciphers@0.1.0.0 · legacy_ciphers.bend:326

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

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

Uses (5)

Used by (1)