def scoped_win
import cswap-bend-cli@0.1.0.0/tui/read.bend as Readimport Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/tui/model.bend as M
import cswap-bend-cli@0.1.0.0/tui/num.bend as N
61def scoped_win(+w: Json.Json) -> Maybe<&2, M.Win>:
62 win_of(N.str_at("name", w), w)