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

import Base

# The visible options under a heading, "" for OPTIONS.
def roff_options(items: List<&2, Item>, +heading: String) -> List<&2, String>:
  match items:
    case Nil{}: Nil{}
    case Arg{+usage, help, +attrs} <> tail:
      List.append(&2, String,
        roff_option_entry(Bool.and(Bool.not(arg_pos(usage)),
          Bool.and(Bool.not(has_hidden(attrs)),
            String.eq(find_heading(attrs), heading))), usage, help, attrs),
        roff_options(tail, heading))
    case head <> tail: roff_options(tail, heading)

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Item
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=arg_pos
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=find_heading
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=has_hidden
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=roff_option_entry