def variadic

cli@0.2.0.0 · cli.bend:6426

import cli@0.2.0.0/cli.bend as Cli

import Base

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

Uses (4)

Used by (2)