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

import Base

# One column for the page: C = L + 4, with K = 2W/5.
def sections_blocks(+sections: List<&2, Section>, +w: Nat) ->
    List<&2, List<&2, Segment>>:
  +rows = section_rows(sections)
  +shorted = any_short(rows)
  +k = Nat.div((2n * w : Nat), 5n)
  section_blocks(sections, shorted, w, k,
    (widest(rows, shorted, k, 0n) + 4n : Nat))

Uses (11):
  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.div
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.mul
  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=any_short
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=section_blocks
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=section_rows
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=widest