def digest

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/blake/blake2s.bend:209

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake2s/types.bend as T

209# The 32-byte digest as eight little-endian words, in a fresh 8-slot array.
210def digest(h: T.State) -> Array<U32>:
211  match h:
212    case T.H{h0, h1, h2, h3, h4, h5, h6, h7}:
213      ANode{ANode{ANode{ALeaf{h0}, ALeaf{h1}}, ANode{ALeaf{h2}, ALeaf{h3}}}, ANode{ANode{ALeaf{h4}, ALeaf{h5}}, ANode{ALeaf{h6}, ALeaf{h7}}}}