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

import Base

# Marked lines escaped, after gap: nothing before the first, .br within a
# paragraph, sep between paragraphs.
def roff_marks(marks: List<&2, Maybe<&2, String>>, +sep: String,
    gap: Maybe<&2, String>) -> List<&2, String>:
  match marks gap:
    case Nil{} _: Nil{}
    case None{} <> tail None{}: roff_marks(tail, sep, None{})
    case None{} <> tail Some{g}: roff_marks(tail, sep, Some{sep})
    case Some{line} <> tail None{}:
      Roff.esc(line) <> roff_marks(tail, sep, Some{".br"})
    case Some{line} <> tail Some{g}:
      g <> Roff.esc(line) <> roff_marks(tail, sep, Some{".br"})

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Roff.esc