type Stack
import bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake3/blake3.bend as Blake3import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake3/types.bend as T
154# The subtree stack, smallest subtree first: slot i is empty or holds the
155# chaining value of a complete subtree of 2^i chunks.
156type Stack is Data:
157 StkNil{}
158 SEmpty{rest: Stack}
159 SFull{cv: T.CV, rest: Stack}
Uses (1)
Used by (41)
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/blake/blake3/tree:push_all
- bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake3/blake3:finish
- bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake3/blake3:push
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/blake/blake3/loop:run
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/blake/blake3/tree:E
- …