def St.push
import bendtorch-load@1.3.0.0/main.bend as BendtorchLoadimport Base
304# ts onto out, which holds the tokens so far in reverse
305def St.push(ts: List<&2, Tok>, out: List<&2, Tok>) -> List<&2, Tok>:
306 match ts:
307 case Nil{}: out
308 case Con{t, r}: St.push(r, Con{t, out})