~/jendhub

def row_lines

cli@0.2.0.0 · cli.bend:5558

import cli@0.2.0.0/cli.bend as Cli
import Base

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

Uses (11)

Used by (1)