def lc.tab

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

import Base

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