Outline.run: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/syntax/outline.bend as Outline
Lines 514-520 of bolt@1.27.0.0/src/syntax/outline.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/syntax/outline.bend&start_line=514&end_line=520

import Base

# every line, in order; ins flags the lines ahead that start inside a string
def run(lines: List<&2, String>, st: St, +ins: List<&2, Bool>) -> St:
  match lines:
    case Nil{}:
      st
    case Con{l, t}:
      run(t, step(inside.hit(ins), l, st), inside.rest(ins))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/outline.bend&name=St
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/outline.bend&name=inside.hit
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/outline.bend&name=inside.rest
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/outline.bend&name=step