Cli.row_lines: def of cli@0.2.0.0
Import: import cli@0.2.0.0/cli.bend as Cli
Lines 5558-5564 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=5558&end_line=5564

import Base

def row_lines(row: Row, shorted: Bool, w: Nat, k: Nat, c: Nat) ->
    List<&2, Segment>:
  match row:
    case Row{left, short, long_only, right}:
      +cell = indent_cell(Bool.and(long_only, shorted), left)
      +lw = cell_width(cell)
      row_form(Nat.is_le((lw + 4n : Nat), k), cell, lw, right, w, c)

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_le
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Row
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Segment
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=cell_width
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=indent_cell
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=row_form