Profswitch.switch_cmd: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/profswitch.bend as Profswitch
Lines 180-182 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=180&end_line=182

import Base
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

# `cswap switch [TARGET] [--profile NAME] ...`
def switch_cmd(+ctx: SBase.Ctx, +over: Maybe<&2, String>, +ident: Maybe<&2, String>, +force: Bool, +strategy: Maybe<&2, String>, +model: Maybe<&2, String>, +json: Bool) -> IO(Cmd.Out):
  route(targeted(ident, strategy), over, ctx, ident, force, strategy, model, json)

Uses (8):
  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=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/profswitch.bend&name=route
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/profswitch.bend&name=targeted
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/base.bend&name=Ctx