Doctor.tail.pick: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/doctor.bend as Doctor
Lines 247-261 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=247&end_line=261

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

# what the doctor says after the toolchain, the ledger, the lock, the
# library and the lock check: why the joint ledger could not be made, or else
# every member's report
def tail.pick(
  fine: Bool,
  +why: String,
  +text: String,
  +found: List<&2, J.Found>,
  +world: DW.World
) -> List<&2, DP.Note>:
  match fine:
    case True{}:
      sources.notes(DW.heard(DW.replies(world), DW.Sources{}), text, found, DP.lock.text(DW.lock(world)))
    case False{}:
      [DP.Note{True{}, why}]

Uses (12):
  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/plan.bend&name=lock.text
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/world.bend&name=Ask
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/world.bend&name=World
  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/doctor/world.bend&name=lock
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/world.bend&name=replies
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/doctor.bend&name=sources.notes
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/joint.bend&name=Found