type Gather

cli@0.2.0.0 · cli.bend:2416

import Base

2416# An arg's hits so far: values holds a repeated option's newest first, so
2417# each hit conses, and resolve_argv_gather puts them back in argv order.
2418type Gather is Data:
2419  Gather{seen: Bool, values: List<&2, String>, count: Nat}