Up.halt.why: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/up.bend as Up
Lines 206-211 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=206&end_line=211

import Base

# a refusal's reason, never empty. An empty reason is no refusal at all, so
# an upgrade that stopped with one would otherwise go on to lock the ledger
# as it was, and a pin that halted with one would drop out of the ledger the
# upgrade writes. The interpreter never answers with an empty reason.
def halt.why(+why: String) -> String:
  Bool.pick(String, String.is_empty(why), "ez: the upgrade stopped without a reason", why)

Uses (3):
  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=Base/base.bend&name=String.is_empty