def more

ezx@1.11.0.0 · src/tool/run.bend:148

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

148# the World with more answers in it
149def more(world: TW.World, rs: List<&2, TW.Reply>, us: List<&2, Up.Reply>) -> TW.World:
150  TW.World{a, t, want, here, env, bend, ledger, lock, replies, ups} = world
151  TW.World{a, t, want, here, env, bend, ledger, lock, List.append(&2, TW.Reply, replies, rs),
152    List.append(&2, Up.Reply, ups, us)}