def up.world

ezx@1.11.0.0 · src/ws/up.bend:304

import ezx@1.11.0.0/src/ws/up.bend as Up

import Base
import ezx@1.11.0.0/src/lock/world.bend as LW

304# the World an upgrade plans on
305def up.world(got: Up) -> LW.World:
306  Up{w2, _eds} = got
307  w2

Uses (2)

Used by (1)

ezx@1.11.0.0/src/ws/up:world.at