def ad.tab.root

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

import Base

113def ad.tab.root(ts: List<&2, AdTab>) -> AdTab:
114  match ts:
115    case Nil{}:
116      AdLeaf{0}
117    case Con{h, t}:
118      h