Cli.section_blocks: def of cli@0.2.0.0 Import: import cli@0.2.0.0/cli.bend as Cli Lines 5580-5588 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=5580&end_line=5588 import Base def section_blocks(sections: List<&2, Section>, +shorted: Bool, +w: Nat, +k: Nat, +c: Nat) -> List<&2, List<&2, Segment>>: match sections: case Nil{}: Nil{} case Section{title, Nil{}} <> tail: section_blocks(tail, shorted, w, k, c) case Section{title, rows} <> tail: (Segment{String.append(title, ":"), [Bold{}, Under{}]} <> rows_lines(rows, shorted, w, k, c)) <> section_blocks(tail, shorted, w, k, c) Uses (8): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool 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=String.append https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Section 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=Style https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=rows_lines