~/jendhub

def buf512

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

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/hash.bend as H

293def buf512(st: H.Sha512State) -> List<&2, U32>:
294  match st:
295    case H.St512{s, b}:
296      b

Uses (3)

Used by (5)