World.replies.of: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/lock/world.bend as World Lines 485-489 of ezx@1.11.0.0/src/lock/world.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/world.bend&start_line=485&end_line=489 import Base import ezx@1.11.0.0/src/lock/up.bend as Up # the package answers the lock reads: the trees the upgrade checked out, then # every answer the World holds def replies.of(+nx: Up.Next, replies: List<&2, Reply>) -> List<&2, Reply>: List.append(&2, Reply, laid.replies(Up.next.trees(nx), next.origins(nx), next.hub(nx)), replies) Uses (8): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=Next https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=next.trees https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Reply https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=laid.replies https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=next.hub https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=next.origins