def name.reply

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

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

593# a reply kept when it answers a name's question
594def name.reply(ask: DW.Ask, answer: DW.Answer, rest: List<&2, W.Reply>) -> List<&2, W.Reply>:
595  match ask:
596    case DW.Name{nv}:
597      match answer:
598        case DW.Held{got}:
599          name.put(nv, got, rest)
600        case _:
601          rest
602    case _:
603      rest