def chain_bytes

bend-collections-laws-crypto@1.0.0.0 · src/crypto/blake/blake2b/sized.bend:73

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

73# The 64 little-endian bytes of the chaining value.
74def chain_bytes(h: T.Chain) -> List<&2, U32>:
75  match h:
76    case T.H{h0, h1, h2, h3, h4, h5, h6, h7}:
77      List.concat(&2, U32, [lane_bytes(h0), lane_bytes(h1), lane_bytes(h2), lane_bytes(h3), lane_bytes(h4), lane_bytes(h5), lane_bytes(h6), lane_bytes(h7)])