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

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

# the lock questions, once the sources were heard
def trees.heard(
  got: DW.Heard,
  ledger: Maybe<&2, String>,
  lock: Maybe<&2, String>,
  rs: List<&2, DW.Reply>
) -> List<&2, DW.Ask>:
  match got:
    case DW.Heard{a}:
      match a:
        case DW.Listed{l}:
          trees.listing(ledger, lock, l, rs)
        case _:
          []
    case DW.Open{}:
      []

Uses (8):
  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.listing
  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=Ask
  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=Reply