View.busiest: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/tui/view.bend as View
Lines 169-175 of cswap-bend-cli@0.1.0.0/tui/view.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/tui/view.bend&start_line=169&end_line=175

import Base
import cswap-bend-cli@0.1.0.0/tui/model.bend as M

# Headroom is what is left of the busiest known window.
def busiest(+ws: List<&2, M.Win>, +acc: Maybe<&2, U32>) -> Maybe<&2, U32>:
  match ws:
    case Nil{}:
      acc
    case Con{w, t}:
      busiest(t, max_opt(acc, M.win_pct(w)))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  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/model.bend&name=win_pct
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/view.bend&name=max_opt