Argv.Run: type of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/checker/argv.bend as Argv
Lines 10-12 of bolt@1.27.0.0/src/lsp/checker/argv.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lsp/checker/argv.bend&start_line=10&end_line=12

import Base

# a run of bend: the file it is given and the flag after it
type Run is Data:
  Run{path: String, flag: String}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String