Cli.err.find.go: def of shake@0.7.0.0 Import: import shake@0.7.0.0/src/cli.bend as Cli Lines 2188-2195 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=2188&end_line=2195 import Base # the argument named `name` on the deepest page a path walks through that # has one, else `best` def err.find.go(path: List<&2, String>, +how: How, +name: String, best: Maybe<&2, Arg>) -> Maybe<&2, Arg>: match path: case Nil{}: err.find.here(by_name(help.how_args(how), name), best) case Con{+hh, tt}: err.find.go(tt, help.step(how, hh), name, err.find.here(by_name(help.how_args(how), name), best)) Uses (9): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List 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=How https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=by_name https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=err.find.here https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=help.how_args https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=help.step