Run.whole.miss: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/run.bend as Run
Lines 433-438 of ezx@1.11.0.0/src/lock/run.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/run.bend&start_line=433&end_line=438

import Base
import snap@1.4.0.0/main.bend as R
import ezx@1.11.0.0/src/lock/up.bend as Up

# a checkout `ez add` walks, which could not be made or read: removed, and
# the question answered with why
def whole.miss(+work: String, +why: String) -> IO(Up.Answer):
  do IO<Up.Answer>:
    _rm : String <- R.exec(["rm", "-rf", work])
    return Up.Miss{why}

Uses (7):
  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=List
  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/lock/up.bend&name=Answer
  https://jend.leeeet.dev/definition.txt?path=snap@1.4.0.0/main.bend&name=exec