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

import Base

def positional_can_take(items: List<&2, Item>, count: Nat) -> Bool:
  +slots = positional_items(items)
  Bool.or(Nat.is_lt(count, List.length(&2, Item, slots)),
    has_variadic_pos(slots))

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