~/jendhub

def ws.searched

ezx@1.11.0.0 · src/ws/run.bend:396

import ezx@1.11.0.0/src/ws/run.bend as Run
import Base
import ezx@1.11.0.0/src/ws/relock.bend as Rel

396# and once the search was made
397def ws.searched(st: Searched) -> IO(Rel.Ws):
398  Searched{+top, found} = st
399  ws.found(top, found)

Uses (4)

Used by (1)