def heading_sections

cli@0.2.0.0 · cli.bend:5477

import cli@0.2.0.0/cli.bend as Cli

import Base

5477def heading_sections(titles: List<&2, String>, +args: List<&2, Item>,
5478    +long: Bool) -> List<&2, Section>:
5479  match titles:
5480    case Nil{}: Nil{}
5481    case +title <> tail:
5482      Section{title, option_rows(args, long, title)} <>
5483        heading_sections(tail, args, long)

Uses (6)

Used by (1)

cli@0.2.0.0/cli:help_page