Hub.outcome.fit: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/add/hub.bend as Hub
Lines 251-259 of ezx@1.11.0.0/src/add/hub.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/add/hub.bend&start_line=251&end_line=259

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

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

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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/lock/plan.bend&name=Outcome