def text

bolt@1.27.0.0 · src/rchars.bend:15

import Base

15# the buffer's chars, first read first
16def text(buf: List<&2, Char>) -> String:
17  onto(buf, SNil{})