~/jendhub

def lc.tab.up

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

import bend-osdev-cipher-core@0.1.0.0/cipher_core.bend as CipherCore
import Base

259def lc.tab.up(n: Nat, ts: List<&2, LcTab>) -> List<&2, LcTab>:
260  match n:
261    case 0n:
262      ts
263    case 1n+p:
264      lc.tab.up(p, lc.tab.pairs(ts))

Uses (4)

Used by (1)