type World

ezx@1.11.0.0 · src/add/relock.bend:27

import Base
import ezx@1.11.0.0/src/add/world.bend as A
import ezx@1.11.0.0/src/lock/world.bend as W

27# what `ez add` reads: the add's World, the `.bend` files git lists, and the
28# answers to the lock's questions
29type World is Data:
30  World{add: A.World, listing: W.Listing, locks: List<&2, W.Reply>}