def at.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
112# what the search found, acted on
113def at.searched(st: Searched, go: Unit -> IO(Unit)) -> IO(Unit):
114 Searched{+top, found} = st
115 hop.at(H.hop(top, found), go)