Read.wins_of: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/tui/read.bend as Read
Lines 71-74 of cswap-bend-cli@0.1.0.0/tui/read.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/tui/read.bend&start_line=71&end_line=74

import 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

# The windows of a lastGood object, in the reference's order: 5h, 7d, then the
# per-model windows.
def wins_of(+good: Json.Json) -> List<&2, M.Win>:
  cons_win(win_key("5h", "five_hour", good), cons_win(win_key("7d", "seven_day", good), scoped(Json.to_list(N.get_or_null("scoped", good)))))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/json.bend&name=Json
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/json.bend&name=to_list
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/model.bend&name=Win
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/num.bend&name=get_or_null
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/read.bend&name=cons_win
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/read.bend&name=scoped
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/read.bend&name=win_key