Run.exec.plan: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/tool/run.bend as Run
Lines 253-262 of ezx@1.11.0.0/src/tool/run.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/tool/run.bend&start_line=253&end_line=262

import Base
import ezx@1.11.0.0/src/lock/run.bend as Run
import ezx@1.11.0.0/src/lock/plan.bend as LP
import ezx@1.11.0.0/src/tool/plan.bend as TP

# a plan, executed, and how it ends: with the status the planner gives its
# end and the program's status (`TP.code`, EZ-OUT-1)
def exec.plan(+pl: TP.Plan) -> IO(Unit):
  TP.Plan{l, m, f, o} = pl
  do IO<Unit>:
    exec.lay(l)
    exec.make(m)
    s : U32 <- exec.finish(f)
    +code : U32 <- IO.pure(U32, TP.code(TP.exit(pl), s))
    Run.end.at(U32.is_eq(code, 0), code, LP.why(o))

Uses (14):
  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=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  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/lock/plan.bend&name=why
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/run.bend&name=end.at
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=Plan
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=code
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=exit
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/run.bend&name=exec.finish
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/run.bend&name=exec.lay
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/run.bend&name=exec.make