def roff_headings

cli@0.2.0.0 · cli.bend:7460

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

7460def roff_headings(titles: List<&2, String>, +args: List<&2, Item>) ->
7461    List<&2, String>:
7462  match titles:
7463    case Nil{}: Nil{}
7464    case +title <> tail:
7465      String.concat([".SS \"", roff_text(title), "\""]) <>
7466        List.append(&2, String, roff_options(args, title),
7467          roff_headings(tail, args))

Uses (7)

Used by (1)