View.foot_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 283-284 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=283&end_line=284

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 foot_lines(+s: M.Snap) -> List<&2, List<&2, F.Seg>>:
  lines_cat([[], best_line(next_best(accts_of(s), None{})), [], [F.sg("daemon log", F.RBold{})]], log_lines(log_of(s)))

Uses (12):
  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=cswap-bend-cli@0.1.0.0/tui/fmt.bend&name=Role
  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/fmt.bend&name=sg
  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=accts_of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/view.bend&name=best_line
  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=log_lines
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/view.bend&name=log_of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/view.bend&name=next_best