Plan.lib.have: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/doctor/plan.bend as Plan
Lines 245-255 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=245&end_line=255

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

# the names `ls` gave for the library, none when it gave none
def lib.have(got: DW.Heard) -> List<&2, String>:
  match got:
    case DW.Heard{a}:
      match a:
        case DW.Printed{ok, text}:
          answered(ok, text)
        case _:
          []
    case DW.Open{}:
      []

Uses (5):
  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=ezx@1.11.0.0/src/doctor/plan.bend&name=answered
  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