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

import Base

def roff_synopsis(texts: List<&2, String>) -> String:
  match texts:
    case Nil{}: ""
    case path <> tail: String.join(roff_bold(path) <> roff_texts(tail), " ")

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.join
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=roff_bold
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=roff_texts