Check.run_of: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/check.bend as Check
Lines 87-93 of bolt@1.27.0.0/src/check.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/check.bend&start_line=87&end_line=93

import Base
import bolt@1.27.0.0/src/lsp/checker/answer.bend as Checker

# a file's run, from the checker's answer for it
def run_of(path: String, aa: Checker.Answer) -> Run:
  match aa:
    case Checker.Checked{ds}:
      Run{path, ds}
    case Checker.Unrun{}:
      Failed{path}

Uses (3):
  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/check.bend&name=Run
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/checker/answer.bend&name=Answer