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

import Base

def variadic(slots: List<&2, Slot>) -> Maybe<&2, Slot>:
  match slots:
    case Nil{}: None{}
    case Slot{k, hidden, required, True{}, rest, ph, comp} <> tail:
      Some{Slot{k, hidden, required, True{}, rest, ph, comp}}
    case head <> tail: variadic(tail)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=cli@0.2.0.0/cli.bend&name=Slot