Prove.run: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ez/prove.bend as Prove
Lines 152-166 of ezx@1.11.0.0/src/ez/prove.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ez/prove.bend&start_line=152&end_line=166

import Base
import snap@1.4.0.0/main.bend as R
import ezx@1.11.0.0/src/share/env.bend as Env
import ezx@1.11.0.0/src/share/cap.bend as Cap

# `ez prove`: every PROOF.bend in the tree, run at once and reported in the
# tree's order. There is no budget: a proof that takes long is still a proof,
# and one that never finishes is stopped by whatever runs the gate.
def run() -> IO(Unit):
  do IO<Unit>:
    +cap : Bool <- Cap.ok()
    Cap.warn(cap)
    +g : String <- Cap.gb()
    +at : String <- Env.lib()
    +jobs : String <- width()
    +ps : List<&2, String> <- find.proofs()
    fresh.dir(out.at())
    as : List<&2, String> <- R.par(cmds(ps, cap, g, at), jobs, g, out.at(), "0")
    +passed : Nat <- report(ps, as, g, 0n)
    done(passed, List.length(&2, String, ps))

Uses (20):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=List.length
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  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/prove.bend&name=cmds
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/prove.bend&name=done
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/prove.bend&name=find.proofs
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/prove.bend&name=fresh.dir
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/prove.bend&name=out.at
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/prove.bend&name=report
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/prove.bend&name=width
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/cap.bend&name=gb
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/cap.bend&name=ok
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/cap.bend&name=warn
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/env.bend&name=lib
  https://jend.leeeet.dev/definition.txt?path=snap@1.4.0.0/main.bend&name=par