Cli.Gather: type of cli@0.2.0.0 Import: import cli@0.2.0.0/cli.bend as Cli Lines 2416-2419 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=2416&end_line=2419 import Base # An arg's hits so far: values holds a repeated option's newest first, so # each hit conses, and resolve_argv_gather puts them back in argv order. type Gather is Data: Gather{seen: Bool, values: List<&2, String>, count: Nat} Uses (4): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool 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=String