def ad.tab.up

bend-osdev-aead@0.1.0.0 · aesround.bend:106

import bend-osdev-aead@0.1.0.0/aesround.bend as Aesround

import Base

106def ad.tab.up(n: Nat, ts: List<&2, AdTab>) -> List<&2, AdTab>:
107  match n:
108    case 0n:
109      ts
110    case 1n+p:
111      ad.tab.up(p, ad.tab.pairs(ts))

Uses (4)

Used by (1)

bend-osdev-aead@0.1.0.0/aesround:AdAes.sbox