Setcmd.get.spec: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/setcmd.bend as Setcmd
Lines 106-111 of cswap-bend-cli@0.1.0.0/setcmd.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/setcmd.bend&start_line=106&end_line=111

import Base
import cswap-bend-cli@0.1.0.0/setwrite.bend as Setwrite
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/cmd.bend as Cmd
import cswap-bend-cli@0.1.0.0/settings.bend as Settings

def get.spec(json: Bool, r: Result<&2, &2, String, Settings.Spec>, raw: Json.Json) -> Cmd.Out:
  match r:
    case Fail{m}:
      Cmd.failed(json, "ConfigError", m)
    case Done{sp}:
      get.row(json, Setwrite.row.find(Settings.dotted(sp), Setwrite.effective(raw)))

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=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=failed
  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/setcmd.bend&name=get.row
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/settings.bend&name=Spec
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/settings.bend&name=dotted
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/setwrite.bend&name=effective
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/setwrite.bend&name=row.find