~/jendhub

def positional_can_take

cli@0.2.0.0 · cli.bend:2737

import cli@0.2.0.0/cli.bend as Cli
import Base

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

Uses (9)

Used by (1)