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

import Base

def roff_positionals(items: List<&2, Item>) -> List<&2, String>:
  match items:
    case Nil{}: Nil{}
    case Arg{+usage, help, +attrs} <> tail:
      List.append(&2, String,
        roff_positional_entry(Bool.and(arg_pos(usage),
          Bool.not(has_hidden(attrs))), usage, help, attrs),
        roff_positionals(tail))
    case head <> tail: roff_positionals(tail)

Uses (9):
  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=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=has_hidden
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=roff_positional_entry