def ad.tab.leaves

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

import Base

92def ad.tab.leaves(xs: List<&2, U32>) -> List<&2, AdTab>:
93  match xs:
94    case Nil{}:
95      Nil{}
96    case Con{h, t}:
97      Con{AdLeaf{h}, ad.tab.leaves(t)}