Plan.names.open.why: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/plan.bend as Plan
Lines 531-542 of ezx@1.11.0.0/src/lock/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/plan.bend&start_line=531&end_line=542

import Base
import ezx@1.11.0.0/src/lock/world.bend as W

# why a name nothing resolved stops the lock: what its answer said, or that
# it was never asked
def names.open.why(found: Look, +nv: String) -> String:
  match found:
    case Found{v}:
      match v:
        case W.No{why}:
          why
        case _:
          "ez: " ++ nv ++ " was never resolved, so there is nothing to lock it from"
    case Absent{}:
      "ez: " ++ nv ++ " was never resolved, so there is nothing to lock it from"

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=Look
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Verdict