def onto
import bolt@1.27.0.0/src/rchars.bend as Rcharsimport Base
7# the buffer's chars, first read first, then acc
8def onto(buf: List<&2, Char>, acc: String) -> String:
9 match buf:
10 case Nil{}:
11 acc
12 case Con{h, t}:
13 onto(t, SCon{h, acc})