def hs.stb.leaves

bend-osdev-hashes@0.1.0.0 · streebog.bend:49

import Base
import bend-osdev-hashes@0.1.0.0/hashes.bend as Hs

49def hs.stb.leaves(xs: List<&2, Hs.HsW2>) -> List<&2, HsStbTab>:
50  match xs:
51    case Nil{}:
52      Nil{}
53    case Con{h, t}:
54      Con{HsStbLeaf{h}, hs.stb.leaves(t)}