~/jendhub

def refusal

ezx@1.11.0.0 · src/remove/plan.bend:144

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

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

Uses (5)

Used by (1)