Setimp.known_val2: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/setimp.bend as Setimp
Lines 181-186 of cswap-bend-cli@0.1.0.0/setimp.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/setimp.bend&start_line=181&end_line=186

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

def known_val2(sp: Settings.Spec, r: Result<&2, &2, String, String>) -> Result<&2, &2, String, Json.Json>:
  match r:
    case Fail{e}:
      Fail{Settings.dotted(sp) ++ ": " ++ e}
    case Done{t}:
      parsed_json(Setwrite.parse_value(sp, t))

Uses (8):
  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.append
  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/setimp.bend&name=parsed_json
  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=parse_value