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

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

# every line the doctor says at a workspace root
def notes(+why: String, +text: String, +found: List<&2, J.Found>, +world: DW.World) -> List<&2, DP.Note>:
  List.append(&2, DP.Note,
    DP.head.notes(DP.ledger.seen(DW.read(world)), DW.cc(world), DW.lib(world), DW.lock(world),
      DW.replies(world), DP.checked(world)),
    tail(why, text, found, world))

Uses (15):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/doctor/plan.bend&name=Note
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/doctor/plan.bend&name=checked
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/doctor/plan.bend&name=head.notes
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/doctor/plan.bend&name=ledger.seen
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/doctor/world.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/doctor/world.bend&name=cc
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/doctor/world.bend&name=lib
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/doctor/world.bend&name=lock
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/doctor/world.bend&name=read
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/doctor/world.bend&name=replies
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ws/doctor.bend&name=tail
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ws/joint.bend&name=Found