Setimp.known_val: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/setimp.bend as Setimp
Lines 188-194 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=188&end_line=194

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

# A value of a known setting, checked as `config set` checks it (null stays null: unset).
def known_val(sp: Settings.Spec, +v: Json.Json) -> Result<&2, &2, String, Json.Json>:
  match v:
    case Json.JNull{}:
      Done{Json.JNull{}}
    case _:
      known_val2(sp, scal_text(v))

Uses (6):
  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/json.bend&name=Json
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/setimp.bend&name=known_val2
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/setimp.bend&name=scal_text
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/settings.bend&name=Spec