Collect.gather: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/collect.bend as Collect
Lines 130-134 of cswap-bend-cli@0.1.0.0/collect.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/collect.bend&start_line=130&end_line=134

import Base
import cswap-bend-cli@0.1.0.0/store/base.bend as SBase
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/act.bend as Act
import cswap-bend-cli@0.1.0.0/store.bend as Store

# Every account in `sequence`, with the active one (by the live
# ~/.claude.json identity) carrying the live credential.
def gather(+ctx: SBase.Ctx, +seq: Json.Json) -> Act.of(List<&2, Info>):
  Act.bind(Store.Ident, List<&2, Info>, Act.lift(Store.Ident, live_ident(ctx)),
    id => Act.bind(String, List<&2, Info>, Act.lift(String, read_text(SBase.live_creds_path(ctx))), live => gather.go(ctx, seq, id, live)))

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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/act.bend&name=bind
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/act.bend&name=lift
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/act.bend&name=of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/collect.bend&name=Info
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/collect.bend&name=gather.go
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/collect.bend&name=live_ident
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/collect.bend&name=read_text
  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/store/base.bend&name=Ctx
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/base.bend&name=live_creds_path
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store.bend&name=Ident