Cli.decoded: def of cli@0.2.0.0 Import: import cli@0.2.0.0/cli.bend as Cli Lines 7743-7748 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=7743&end_line=7748 import Base # V7: Done is Go with term's decisions; a fault exits 70 or 2. def decoded(-A: Type, d: Dec(A), cmd: Cmd, path: List<&2, String>, h: Host, argv: List<&2, String>) -> Step: match d: case Done{a}: Go{a, term(cmd, h, argv)} case Fail{f}: faulted(A, f, cmd, path, h, argv) 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=Result https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String 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=Host https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Step https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=faulted https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=term