def checked

ezx@1.11.0.0 · src/doctor/plan.bend:721

import Base
import ezx@1.11.0.0/src/doctor/world.bend as DW

721# what doctor says of the lock against the lock `ez lock` would write
722def checked(+world: DW.World) -> List<&2, Note>:
723  fresh.notes(DW.lock(world), world)