def roff_bolds

cli@0.2.0.0 · cli.bend:7336

import cli@0.2.0.0/cli.bend as Cli

import Base

7336def roff_bolds(names: List<&2, String>) -> List<&2, String>:
7337  match names:
7338    case Nil{}: Nil{}
7339    case name <> tail: roff_bold(String.trim_start(name)) <> roff_bolds(tail)

Uses (4)

Used by (2)