def run

bolt@1.27.0.0 · src/rules/correctness/escape.bend:55

import Base

55# the octal digits (at most two) right after the `\0`, in order
56def run(ss: List<&2, Sym>, nn: Nat) -> List<&2, Char>:
57  match ss nn:
58    case Nil{} m:
59      Nil{}
60    case Con{s, t} 0n:
61      Nil{}
62    case Con{s, t} 1n+p:
63      run.if(octal(s), run(t, p))