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

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

def head_lines(+s: M.Snap) -> List<&2, List<&2, F.Seg>>:
  [title(hdr_of(s)), state_line(hdr_of(s), now_of(s)), []]

Uses (7):
  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/tui/fmt.bend&name=Seg
  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/view.bend&name=hdr_of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/view.bend&name=now_of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/view.bend&name=state_line
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/view.bend&name=title