Doctor.sources.notes: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/doctor.bend as Doctor
Lines 232-242 of ezx@1.11.0.0/src/ws/doctor.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/doctor.bend&start_line=232&end_line=242

import Base
import ezx@1.11.0.0/src/doctor/plan.bend as DP
import ezx@1.11.0.0/src/doctor/world.bend as DW
import ezx@1.11.0.0/src/ws/joint.bend as J

# the members' reports, once the sources were asked for
def sources.notes(got: DW.Heard, +text: String, +found: List<&2, J.Found>, +lock: String) -> List<&2, DP.Note>:
  match got:
    case DW.Heard{a}:
      match a:
        case DW.Listed{l}:
          listing.notes(l, text, found, lock)
        case _:
          [DP.Note{True{}, "imports: the sources were not read"}]
    case DW.Open{}:
      [DP.Note{True{}, "imports: the sources were not read"}]

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=Note
  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
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/doctor.bend&name=listing.notes
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/joint.bend&name=Found