Plan.refusal: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/remove/plan.bend as Plan
Lines 144-148 of ezx@1.11.0.0/src/remove/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/remove/plan.bend&start_line=144&end_line=148

import Base
import ezx@1.11.0.0/src/ledger/render.bend as Rend

# the refusal for a ledger that names the dependency but, with it dropped,
# cannot be written so that it reads back (EZ-LED-4), or for a name it does
# not have
def refusal(named: Bool, +name: String) -> String:
  Bool.pick(String, named, Rend.unrenderable(), absent(name))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  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/ledger/render.bend&name=unrenderable
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/remove/plan.bend&name=absent