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

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json

def active_val(+v: Json.Json) -> Result<&2, &2, String, Json.Json>:
  match v:
    case Json.JStr{s}:
      Done{v}
    case Json.JNull{}:
      Done{v}
    case _:
      Fail{"active_profile must be a profile name"}

Uses (3):
  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