def more

ezx@1.11.0.0 · src/lock/run.bend:575

import Base
import ezx@1.11.0.0/src/lock/world.bend as W
import ezx@1.11.0.0/src/lock/up.bend as Up

575# the World with more answers in it
576def more(world: W.World, rs: List<&2, W.Reply>, us: List<&2, Up.Reply>) -> W.World:
577  W.World{args, ledger, listing, replies, ups} = world
578  W.World{args, ledger, listing, List.append(&2, W.Reply, replies, rs),
579    List.append(&2, Up.Reply, ups, us)}