type World

ezx@1.11.0.0 · src/remove/relock.bend:18

import Base
import ezx@1.11.0.0/src/remove/plan.bend as RP
import ezx@1.11.0.0/src/lock/world.bend as W

18# what `ez remove` reads: the remove's World, the directory it runs in, the
19# `.bend` files git lists, and the answers to the lock's questions
20type World is Data:
21  World{remove: RP.World, here: String, listing: W.Listing, locks: List<&2, W.Reply>}