def trees.heard

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

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

758# the lock questions, once the sources were heard
759def trees.heard(
760  got: DW.Heard,
761  ledger: Maybe<&2, String>,
762  lock: Maybe<&2, String>,
763  rs: List<&2, DW.Reply>
764) -> List<&2, DW.Ask>:
765  match got:
766    case DW.Heard{a}:
767      match a:
768        case DW.Listed{l}:
769          trees.listing(ledger, lock, l, rs)
770        case _:
771          []
772    case DW.Open{}:
773      []