World.key: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/pub/world.bend as World
Lines 65-80 of ezx@1.11.0.0/src/pub/world.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/pub/world.bend&start_line=65&end_line=80

import Base
import ezx@1.11.0.0/src/tool/world.bend as TW

# the key a question is looked up by. A command uploads once, so the upload's
# key does not name the entry: the planner looks its answer up without
# knowing which entry the ledger names, and a law about that answer holds
# whatever the ledger says.
def key(ask: Ask) -> String:
  match ask:
    case Tool{q}:
      TW.key(q)
    case Tracked{}:
      "tracked"
    case Upload{_entry, _named, _says}:
      "upload"
    case Lock{}:
      "lock"
    case Hub{url}:
      "hub " ++ url

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/pub/world.bend&name=Ask
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/world.bend&name=key