def trees.listing

ezx@1.11.0.0 · src/doctor/plan.bend:746

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

746def trees.listing(
747  ledger: Maybe<&2, String>,
748  lock: Maybe<&2, String>,
749  listing: W.Listing,
750  rs: List<&2, DW.Reply>
751) -> List<&2, DW.Ask>:
752  match listing:
753    case W.Listed{fs}:
754      trees.world(relock.world(ledger, lock, W.Listed{fs}, rs))
755    case W.Unlisted{_why}:
756      []