def push
import bend-collections@1.0.0.0/src/crypto/blake/blake3/blake3.bend as Blake3import Base
import bend-collections@1.0.0.0/src/crypto/blake/blake3/types.bend as T
161def push(s: Stack, c: T.CV) -> Stack:
162 match s:
163 case StkNil{}: SFull{c,StkNil{}}
164 case SEmpty{r}: SFull{c,r}
165 case SFull{d,r}: SEmpty{push(r,parent_cv(d,c))}