World.key: def of ezx@1.13.0.0
Import: import ezx@1.13.0.0/src/doctor/world.bend as World
Lines 95-108 of ezx@1.13.0.0/src/doctor/world.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.13.0.0/src/doctor/world.bend&start_line=95&end_line=108

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

# a question as a key. A program's name and a directory hold no newline, so
# the fields are kept apart by one.
def key(ask: Ask) -> String:
  match ask:
    case Probe{name}:
      "probe\n" ++ name
    case Lib{dir}:
      "lib\n" ++ dir
    case Sources{}:
      "sources"
    case Tree{ask}:
      "tree\n" ++ W.ask.hash(ask)
    case Name{nv}:
      "name\n" ++ nv

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.13.0.0/src/doctor/world.bend&name=Ask
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/lock/world.bend&name=ask.hash