type AdTab

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

import Base

87# a table of 2^d words, read by the bits of an index (internal)
88type AdTab is Data:
89  AdLeaf{v: U32}
90  AdNode{l: AdTab, r: AdTab}