type Locked
import ezx@1.11.0.0/src/doctor/plan.bend as Planimport Base
163# what the lock turned out to be: the packages it records, or why it could
164# not be read, or no lock at all
165type Locked is Data:
166 Locked{hashes: List<&2, String>}
167 Unread{why: String}
168 Unlocked{}