def outcome.fit

ezx@1.11.0.0 · src/add/hub.bend:251

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

251# the ledger with the package added, once it is known to read back. A
252# ledger that could not be written so that it reads back is refused
253# (EZ-LED-4).
254def outcome.fit(fit: Bool) -> P.Outcome:
255  match fit:
256    case True{}:
257      P.Success{}
258    case False{}:
259      P.Refused{Rend.unrenderable()}