Ezx.main: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ez/main.bend as Ezx
Lines 127-130 of ezx@1.11.0.0/src/ez/main.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ez/main.bend&start_line=127&end_line=130

import Base
import ezx@1.11.0.0/src/share/args.bend as Args
import ezx@1.11.0.0/src/ez/line.bend as L

def main() -> IO(Unit):
  do IO<Unit>:
    as : List<&2, String> <- Args.all()
    go(L.spec(), as)

Uses (8):
  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=ezx@1.11.0.0/src/ez/line.bend&name=spec
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/main.bend&name=go
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/args.bend&name=all