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

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

def push(s: Stack, c: T.CV) -> Stack:
  match s:
    case StkNil{}: SFull{c,StkNil{}}
    case SEmpty{r}: SFull{c,r}
    case SFull{d,r}: SEmpty{push(r,parent_cv(d,c))}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake3/blake3.bend&name=Stack
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake3/blake3.bend&name=parent_cv
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake3/types.bend&name=CV