Plan.name.put: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/doctor/plan.bend as Plan Lines 583-591 of ezx@1.11.0.0/src/doctor/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/doctor/plan.bend&start_line=583&end_line=591 import Base import ezx@1.11.0.0/src/lock/world.bend as W # a name's file BEND_LIB held, as the answer the lock reads for the name, # ahead of the rest. One it did not hold answers nothing, so the lock goes on # asking for it. def name.put(+nv: String, got: Maybe<&2, String>, rest: List<&2, W.Reply>) -> List<&2, W.Reply>: match got: case Some{text}: W.Reply{W.Name{nv, "BEND_LIB/names"}, W.Said{text}} <> rest case None{}: rest Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Answer https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Ask https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Reply