Cliswitch.switch_fail: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/cliswitch.bend as Cliswitch
Lines 64-66 of cswap-bend-cli@0.1.0.0/cliswitch.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/cliswitch.bend&start_line=64&end_line=66

import Base
import cswap-bend-cli@0.1.0.0/cmd.bend as Cmd

def switch_fail(+json: Bool, ce: U32 & String) -> Cmd.Out:
  (c, m) = ce
  switch_fail2(json, c, m)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cliswitch.bend&name=switch_fail2
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cmd.bend&name=Out