def tree.put

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

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

550# a tree BEND_LIB held, as the answer the lock reads, ahead of the rest. One
551# it did not hold answers nothing, so the lock goes on asking for it.
552def tree.put(+ask: W.Ask, answer: DW.Answer, rest: List<&2, W.Reply>) -> List<&2, W.Reply>:
553  match answer:
554    case DW.Laid{manifest, ss}:
555      W.Reply{ask, W.Got{tree.how(ask.src(ask)), manifest, ss}} <> rest
556    case _:
557      rest