def trees.of

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

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

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