View.frame: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/tui/view.bend as View
Lines 298-300 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=298&end_line=300

import Base
import cswap-bend-cli@0.1.0.0/tui/fmt.bend as F
import cswap-bend-cli@0.1.0.0/tui/model.bend as M
import cswap-bend-cli@0.1.0.0/tui/card.bend as C

# The whole frame: each line cut to the terminal width, painted unless NO_COLOR.
def frame(+s: M.Snap, +v: M.View) -> String:
  F.render(fit_all(lines_cat(head_lines(s), lines_cat(accounts_lines(s, v), foot_lines(s))), U32.to_nat(C.view_width(v))), viewcolor(v))

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.to_nat
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/card.bend&name=view_width
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/fmt.bend&name=render
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/model.bend&name=Snap
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/model.bend&name=View
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/view.bend&name=accounts_lines
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/view.bend&name=fit_all
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/view.bend&name=foot_lines
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/view.bend&name=head_lines
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/view.bend&name=lines_cat
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/view.bend&name=viewcolor