~/jendhub

def st512

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/hash/incremental.bend:288

import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/hash/incremental.bend as Incremental
import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/types.bend as T512
import bend-collections-laws-crypto@1.0.0.0/src/crypto/hash.bend as H

288def st512(st: H.Sha512State) -> T512.State:
289  match st:
290    case H.St512{s, b}:
291      s

Uses (2)

Used by (5)