def run2

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/blake/blake3/loop.bend:16

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

16# The stack run over a list of outputs: every output but the last is pushed
17# as a chaining value, the last one is pending.
18def run2(rest: List<&2,T.Out>, s: K.Stack, x: T.Out) -> T.Out:
19  match rest:
20    case Nil{}: K.finish(s,x)
21    case Con{y,r}: run2(r,K.push(s,K.out_cv(x)),y)