Plan.name.heard: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/doctor/plan.bend as Plan
Lines 317-326 of ezx@1.11.0.0/src/doctor/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/doctor/plan.bend&start_line=317&end_line=326

import Base
import ezx@1.11.0.0/src/doctor/world.bend as DW

def name.heard(got: DW.Heard, +nv: String, +hash: String) -> List<&2, String>:
  match got:
    case DW.Heard{a}:
      match a:
        case DW.Held{m}:
          name.got(m, nv, hash)
        case _:
          ["names/" ++ nv ++ " was not read"]
    case DW.Open{}:
      ["names/" ++ nv ++ " was not read"]

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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/doctor/plan.bend&name=name.got
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/world.bend&name=Answer
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/world.bend&name=Heard