Blake3.finish: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/crypto/blake/blake3/blake3.bend as Blake3
Lines 167-172 of bend-collections@1.0.0.0/src/crypto/blake/blake3/blake3.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/crypto/blake/blake3/blake3.bend&start_line=167&end_line=172

import Base
import bend-collections@1.0.0.0/src/crypto/blake/blake3/types.bend as T

# Folds the stack into the pending output of the rightmost subtree.
def finish(s: Stack, o: T.Out) -> T.Out:
  match s:
    case StkNil{}: o
    case SEmpty{r}: finish(r,o)
    case SFull{d,r}: finish(r,parent_out(d,out_cv(o)))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/blake/blake3/blake3.bend&name=Stack
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/blake/blake3/blake3.bend&name=out_cv
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/blake/blake3/blake3.bend&name=parent_out
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/blake/blake3/types.bend&name=Out