Cli.parse.first_req.skip: def of shake@0.7.0.0 Import: import shake@0.7.0.0/src/cli.bend as Cli Lines 1077-1083 of shake@0.7.0.0/src/cli.bend: https://jend.leeeet.dev/read.txt?path=shake@0.7.0.0/src/cli.bend&start_line=1077&end_line=1083 import Base # a rest stays in the list, so it does not block a subcommand def parse.first_req.skip(skip: Bool, aa: Arg) -> Maybe<&2, String>: match skip: case True{}: None{} case False{}: parse.req(aa) Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=Arg https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=parse.req