Cliswitch.switch_opts: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/cliswitch.bend as Cliswitch
Lines 31-36 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=31&end_line=36

import Base
import cswap-bend-cli@0.1.0.0/swlive.bend as SwLive

# How long to wait before the post-switch re-read ($CSWAP_SWITCH_VERIFY_DELAY_MS,
# default 2000 ms) and where the ownership lookup comes from ($CSWAP_SWITCH_ORACLE_FILE
# names a JSON file in tests; unset means the profile endpoint).
def switch_opts() -> IO(SwLive.Opts):
  IO.bind(Result<&1, &1, U32 & String, String>, SwLive.Opts, IO.get_env("CSWAP_SWITCH_VERIFY_DELAY_MS"),
    d => IO.bind(Result<&1, &1, U32 & String, String>, SwLive.Opts, IO.get_env("CSWAP_SWITCH_ORACLE_FILE"), o => IO.pure(SwLive.Opts, opts_of(d, o))))

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.get_env
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  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=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cliswitch.bend&name=opts_of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/swlive.bend&name=Opts