Cfgio.done_out: def of cswap-bend-cli@0.1.0.0 Import: import cswap-bend-cli@0.1.0.0/cfgio.bend as Cfgio Lines 220-225 of cswap-bend-cli@0.1.0.0/cfgio.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/cfgio.bend&start_line=220&end_line=225 import Base import cswap-bend-cli@0.1.0.0/json.bend as Json import cswap-bend-cli@0.1.0.0/cmd.bend as Cmd def done_out(json: Bool, +path: String, +f: String, +keys: List<&2, String>) -> Cmd.Out: match json: case True{}: Cmd.doc(Json.of_pairs([("schemaVersion", Json.JNum{"1"}), ("source", Json.JStr{path}), ("format", Json.JStr{f}), ("keys", Json.arr(strs(keys)))])) case False{}: Cmd.ok("Imported " ++ Nat.show(List.length(&2, String, keys)) ++ " key(s) from " ++ path ++ " as " ++ f ++ ": " ++ key_names(keys)) Uses (15): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.length https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.show https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cfgio.bend&name=key_names https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cfgio.bend&name=strs 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/cmd.bend&name=doc https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cmd.bend&name=ok https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/json.bend&name=Json https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/json.bend&name=arr https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/json.bend&name=of_pairs