def hs.stb.root

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

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

70def hs.stb.root(ts: List<&2, HsStbTab>) -> HsStbTab:
71  match ts:
72    case Nil{}:
73      HsStbLeaf{Hs.HsW2{0, 0}}
74    case Con{h, t}:
75      h