def locked

ezx@1.11.0.0 · src/lock/world.bend:378

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

378# the lock being rewritten: every name it records that bend would read back
379def locked(text: String) -> Verdict:
380  Named{L.names.read(text)}

Uses (3)

Used by (2)