def to_string.cat

bend-osdev-bytes@0.1.1.0 · bytes.bend:305

import Base

305# the string of xs's bytes in front of acc (structural; the laws' form)
306def to_string.cat(xs: List<&2, U32>, acc: String) -> String:
307  match xs:
308    case Nil{}:
309      acc
310    case Con{h, t}:
311      SCon{Chr{byte(h)}, to_string.cat(t, acc)}