def digest

bend-collections@1.0.0.0 · proofs/crypto/sha/packed/core_model.bend:161

import bend-collections@1.0.0.0/proofs/crypto/sha/packed/core_model.bend as CoreModel
import Base
import bend-collections@1.0.0.0/src/crypto/sha/state.bend as S

161def digest(s: S.State) -> List<&2, U32>:
162  S.H{a, b, c, d, e, f, g, h} = s
163  [a, b, c, d, e, f, g, h]

Uses (3)

Used by (5)