Cli.route_found: def of cli@0.2.0.0 Import: import cli@0.2.0.0/cli.bend as Cli Lines 4868-4875 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=4868&end_line=4875 import Base # No route for the path is checked first, then every key names a command. def route_found(-A: Type, found: Maybe, keys: List<&2, String>, cmd: Cmd, path: List<&2, String>, m: Matches) -> Dec(A): match found cmd: case None{} Cmd{name, about, items}: Fail{Bug{String.concat(["no route for '", path_text(name, path), "'"])}} case Some{call} Cmd{name, about, items}: route_call(A, non_command(keys, items), call, m) Uses (13): 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=Result https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.concat https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Call https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Cmd https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Dec https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Fault https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Matches https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=non_command https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=path_text https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=route_call