CswapBendCli.route2: def of cswap-bend-cli@0.1.0.0 Import: import cswap-bend-cli@0.1.0.0/main.bend as CswapBendCli Lines 41-46 of cswap-bend-cli@0.1.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/main.bend&start_line=41&end_line=46 import Base import cswap-bend-cli@0.1.0.0/exec.bend as Exec import cswap-bend-cli@0.1.0.0/cmd.bend as Cmd def route2(+args: List<&2, String>) -> IO(Cmd.Out): match args: case Nil{}: Exec.exec_line(args, None{}) case Con{h, t}: route3(String.eq(h, "rpc") || String.eq(h, "serve"), h, t, Con{h, t}) Uses (9): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO 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=Base/base.bend&name=String.eq https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cmd.bend&name=Out https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/exec.bend&name=exec_line https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/main.bend&name=route3