def more

ezx@1.11.0.0 · src/add/run.bend:25

import Base
import ezx@1.11.0.0/src/lock/up.bend as Up
import ezx@1.11.0.0/src/add/world.bend as A
import ezx@1.11.0.0/src/add/relock.bend as AR

25# the World with more answers in it
26def more(world: AR.World, rs: List<&2, Up.Reply>) -> AR.World:
27  AR.World{A.World{args, here, home, ledger, ignore, replies, hubs}, listing, locks} = world
28  AR.World{A.World{args, here, home, ledger, ignore, List.append(&2, Up.Reply, replies, rs), hubs},
29    listing, locks}