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

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

def trees.listing(
  ledger: Maybe<&2, String>,
  lock: Maybe<&2, String>,
  listing: W.Listing,
  rs: List<&2, DW.Reply>
) -> List<&2, DW.Ask>:
  match listing:
    case W.Listed{fs}:
      trees.world(relock.world(ledger, lock, W.Listed{fs}, rs))
    case W.Unlisted{_why}:
      []

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=relock.world
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/plan.bend&name=trees.world
  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/lock/world.bend&name=Listing