~/jendhub

def st3

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

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/keccak/types.bend as TK
import bend-collections-laws-crypto@1.0.0.0/src/crypto/hash.bend as H

672def st3(st: H.Sha3State) -> TK.State:
673  match st:
674    case H.St3{s, b}:
675      s

Uses (2)

Used by (5)