~/jendhub

def halt.why

ezx@1.11.0.0 · src/lock/up.bend:206

import ezx@1.11.0.0/src/lock/up.bend as Up
import Base

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

Uses (3)

Used by (3)