Prove.width: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ez/prove.bend as Prove
Lines 37-42 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=37&end_line=42

import Base
import ezx@1.11.0.0/src/share/env.bend as Env

# how many `bend` runs may be in flight at once. Empty is the usual answer and
# means the effect works it out: cores, but never more of them than the memory
# cap divides the machine into, since each one of these may claim the whole
# cap. EZ_JOBS overrides it for a machine that knows better.
def width() -> IO(String):
  Env.var("EZ_JOBS", "")

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/env.bend&name=var