Bolt.main: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/main.bend as Bolt
Lines 44-47 of bolt@1.27.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/main.bend&start_line=44&end_line=47

import Base
import bolt@1.27.0.0/src/args.bend as Args

def main() -> IO(Unit):  # noqa: L001 IO entry point
  do IO<Unit>:
    +av : List<&2, String> <- Args.argv()
    perform(Args.out(Args.parse(Args.line(av))))

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  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=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/main.bend&name=perform
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/args.bend&name=argv
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/args.bend&name=line
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/args.bend&name=out
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/args.bend&name=parse