Up.fit.why: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/up.bend as Up
Lines 1163-1172 of ezx@1.11.0.0/src/lock/up.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/up.bend&start_line=1163&end_line=1172

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

# why an upgrade that moved a pin stops, "" when it does not: the ledger it
# would write cannot be written so that it reads back as the model it renders
# (EZ-LED-4), so it is refused, with no effect, rather than written as
# something else
def fit.why(moved: Bool, next: M.Manifest) -> String:
  match moved:
    case True{}:
      Bool.pick(String, Rend.renderable(next), "", Rend.unrenderable())
    case False{}:
      ""

Uses (6):
  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/manifest.bend&name=Manifest
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/render.bend&name=renderable
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/render.bend&name=unrenderable