def t_go

bend-osdev-bytes@0.1.1.0 · PROOF.bend:597

import Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B

597# text: building from the back onto acc is the structural cat
598def t_go(+xs: List<&2, U32>, +r: List<&2, U32>, +acc: String) -> {B.to_string.go(B.rev_onto(xs, r), acc) == B.to_string.go(r, B.to_string.cat(xs, acc)) : String}:
599  match xs:
600    case Nil{}:
601      {==}
602    case Con{h, t}:
603      t_go(t, Con{h, r}, acc)