Profswitch.resolved: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/profswitch.bend as Profswitch
Lines 150-157 of cswap-bend-cli@0.1.0.0/profswitch.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/profswitch.bend&start_line=150&end_line=157

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
import cswap-bend-cli@0.1.0.0/store/base.bend as SBase
import cswap-bend-cli@0.1.0.0/profile.bend as P

def resolved(+res: P.Res, +over: Maybe<&2, String>, +ctx: SBase.Ctx, +raw: Json.Json, +ident: Maybe<&2, String>, +force: Bool, +strategy: Maybe<&2, String>, +model: Maybe<&2, String>, +json: Bool) -> IO(Cmd.Out):
  match res:
    case P.RNone{}:
      legacy(ctx, ident, force, strategy, model, json)
    case P.RUnknown{name}:
      unknown_name(has(over), name, ctx, ident, force, strategy, model, json)
    case P.ROk{p}:
      by_name(String.eq(P.name_of(p), "default"), p, ctx, raw, ident, force, strategy, model, json)

Uses (14):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  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/json.bend&name=Json
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/profile.bend&name=Res
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/profile.bend&name=name_of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/profswitch.bend&name=by_name
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/profswitch.bend&name=has
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/profswitch.bend&name=legacy
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/profswitch.bend&name=unknown_name
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/base.bend&name=Ctx