Escape.run: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/correctness/escape.bend as Escape
Lines 55-63 of bolt@1.27.0.0/src/rules/correctness/escape.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/correctness/escape.bend&start_line=55&end_line=63

import Base

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

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/correctness/escape.bend&name=Sym
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/correctness/escape.bend&name=octal
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/correctness/escape.bend&name=run.if