def more

ezx@1.11.0.0 · src/remove/run.bend:19

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

19# the World with more of the lock's answers in it
20def more(world: RR.World, rs: List<&2, W.Reply>) -> RR.World:
21  RR.World{r, here, listing, locks} = world
22  RR.World{r, here, listing, List.append(&2, W.Reply, locks, rs)}