def world

ezx@1.11.0.0 · src/ws/relock.bend:231

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

231# the World a plain `ez lock` reads at the root
232def world(+at: String, led: Maybe<&2, String>, listing: LW.Listing, rs: List<&2, LW.Reply>) -> LW.World:
233  LW.World{LW.Args{False{}, "", at}, led, listing, rs, []}