Run.more: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/remove/run.bend as Run Lines 19-22 of ezx@1.11.0.0/src/remove/run.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/remove/run.bend&start_line=19&end_line=22 import Base import ezx@1.11.0.0/src/lock/world.bend as W import ezx@1.11.0.0/src/remove/relock.bend as RR # the World with more of the lock's answers in it def more(world: RR.World, rs: List<&2, W.Reply>) -> RR.World: RR.World{r, here, listing, locks} = world RR.World{r, here, listing, List.append(&2, W.Reply, locks, rs)} Uses (4): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Reply https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/remove/relock.bend&name=World