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

import Base

# Whether slots' first slot takes the operand after count others: it is
# the count'th, or variadic.
def slot_here(slots: List<&2, ArgInfo>, count: Nat) -> Bool:
  match slots:
    case Nil{}: False{}
    case ArgInfo{id, usage, short, long, kind, attrs} <> tail:
      Bool.or(Nat.is_eq(count, 0n), kind_variadic_pos(kind))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_eq
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=ArgInfo
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=kind_variadic_pos