def lock.searched
import ezx@1.11.0.0/src/ws/run.bend as Runimport Base
import ezx@1.11.0.0/src/ws/hop.bend as H
408# the lock, once the search was made
409def lock.searched(st: Searched) -> String:
410 Searched{+top, found} = st
411 H.lock(top, found)