def lc.tab

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

import Base

276# the table of the 2^d words xs (entry i is element i)
277def lc.tab(d: Nat, xs: List<&2, U32>) -> LcTab:
278  lc.tab.root(lc.tab.up(d, lc.tab.leaves(xs)))