Run.run: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/doctor/run.bend as Run
Lines 137-145 of ezx@1.11.0.0/src/doctor/run.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/doctor/run.bend&start_line=137&end_line=145

import Base
import ezx@1.11.0.0/src/io/file.bend as F
import ezx@1.11.0.0/src/doctor/world.bend as DW
import ezx@1.11.0.0/src/ws/run.bend as WsRun
import ezx@1.11.0.0/src/ws/doctor.bend as WsDoc

# `ez doctor`: the toolchain and the project, reported on
def run() -> IO(Unit):
  do IO<Unit>:
    cc : String <- var("CC")
    +lib : String <- var("BEND_LIB")
    own : Maybe<&2, String> <- F.read(DW.toml())
    dd : WsDoc.Doctored <- WsRun.doctor.ledger(own)
    lk : Maybe<&2, String> <- F.read(DW.lockfile())
    run.doctored(dd, cc, lib, lk)

Uses (12):
  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=Maybe
  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/doctor/run.bend&name=run.doctored
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/run.bend&name=var
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/world.bend&name=lockfile
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/world.bend&name=toml
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/io/file.bend&name=read
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/doctor.bend&name=Doctored
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/run.bend&name=doctor.ledger