Run.more.lock: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/add/run.bend as Run Lines 37-40 of ezx@1.11.0.0/src/add/run.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/add/run.bend&start_line=37&end_line=40 import Base import ezx@1.11.0.0/src/lock/world.bend as W import ezx@1.11.0.0/src/add/relock.bend as AR # the World with more of the lock's answers in it def more.lock(world: AR.World, rs: List<&2, W.Reply>) -> AR.World: AR.World{a, listing, locks} = world AR.World{a, 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/add/relock.bend&name=World https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Reply