Exec.with_ctx: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/exec.bend as Exec
Lines 68-69 of cswap-bend-cli@0.1.0.0/exec.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/exec.bend&start_line=68&end_line=69

import Base
import cswap-bend-cli@0.1.0.0/store/base.bend as SBase
import cswap-bend-cli@0.1.0.0/cmd.bend as Cmd
import cswap-bend-cli@0.1.0.0/store.bend as Store

def with_ctx(f: SBase.Ctx -> IO(Cmd.Out)) -> IO(Cmd.Out):
  IO.bind(SBase.Ctx, Cmd.Out, Store.ctx_env(), f)

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