def outcome.fit

ezx@1.11.0.0 · src/add/plan.bend:408

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

408# the ledger with the package added, once it is known to read back. A
409# ledger that could not be written so that it reads back, such as one whose
410# source or entry holds a quote, is refused (EZ-LED-4).
411def outcome.fit(fit: Bool) -> P.Outcome:
412  match fit:
413    case True{}:
414      P.Success{}
415    case False{}:
416      P.Refused{Rend.unrenderable()}