def arg_reserved_dup

cli@0.2.0.0 · cli.bend:2179

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

2179def arg_reserved_dup(+at: String, +long: String, seen: List<&2, Seen>,
2180    id: String, short: String, version: Bool) -> List<&2, Problem>:
2181  reserved = Bool.or(String.eq(long, "--help"),
2182    Bool.and(version, String.eq(long, "--version")))
2183  Bool.pick(List<&2, Problem>, reserved,
2184    [Reserved{at, long}], maybe_dup(arg_collision(seen, id, short, long), at))

Uses (11)

Used by (1)