Args.spec: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/args.bend as Args
Lines 97-104 of bolt@1.27.0.0/src/args.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/args.bend&start_line=97&end_line=104

import Base
import shake@0.6.0.0/main.bend as Shake

# bolt's program spec
def spec() -> Shake.Cli:
  Shake.app("bolt", "A linter, checker and language server for Bend 2.", Some{version()},
    [Shake.flag("version", None{}, Some{"version"}, "Print the version"),
     spec.files("Files to lint")],
    [Shake.sub("lint", "Lint files", [spec.files("Files to lint")], []),
     Shake.sub("check", "Check files", [spec.files("Files to check")], []),
     Shake.sub("lsp", "Serve an editor over stdio", [], [])])

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/args.bend&name=spec.files
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/args.bend&name=version
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/main.bend&name=Cli
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/main.bend&name=app
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/main.bend&name=flag
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/main.bend&name=sub