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

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

# every package and name the lock planner asks about, while there is a lock
# to check. These depend on the sources and on the trees already read, so
# they come in rounds, as the lock's own do.
def trees.of(
  ledger: Maybe<&2, String>,
  lock: Maybe<&2, String>,
  held: Maybe<&2, String>,
  +rs: List<&2, DW.Reply>
) -> List<&2, DW.Ask>:
  match lock:
    case None{}:
      []
    case Some{_text}:
      trees.heard(DW.heard(rs, DW.Sources{}), ledger, held, rs)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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=trees.heard
  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=Reply
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/world.bend&name=heard