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

import Base

def spec_keys(items: List<&2, SpecItem>) -> List<&2, OptKey>:
  match items:
    case Nil{}: Nil{}
    case SpecArg{+info} <> tail:
      List.append(&2, OptKey, name_keys(info_names(info), info),
        spec_keys(tail))
    case head <> tail: spec_keys(tail)

Uses (6):
  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=cli@0.2.0.0/cli.bend&name=OptKey
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=SpecItem
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=info_names
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=name_keys