def main

import bolt@1.26.0.0/main.bend as Bolt

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

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

Uses (10)

List
String
Unit
IO
IO.bind
…

Used by (0)

No other definition uses this definition.