def inputs.of

ezx@1.11.0.0 · src/lock/world.bend:526

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

526# what a World is, as far as the lock may tell, once the upgrade decided
527def inputs.of(+nx: Up.Next, listing: Listing, replies: List<&2, Reply>) -> Inputs:
528  Inputs{Up.next.read(nx), Up.next.stop(nx), listing.of(nx, listing),
529    judged.of(nx, replies)}