Collectrun.collect: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/collectrun.bend as Collectrun
Lines 203-208 of cswap-bend-cli@0.1.0.0/collectrun.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/collectrun.bend&start_line=203&end_line=208

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/ustore.bend as Ustore
import cswap-bend-cli@0.1.0.0/view.bend as View
import cswap-bend-cli@0.1.0.0/collect.bend as Collect

# One usage pass over `xs`: lease what is eligible, fetch it, merge the
# outcomes, and answer an Acct per account with the state read after the merge.
def collect(+ctx: SBase.Ctx, +xs: List<&2, Collect.Info>, +now: U32, +models: List<&2, String>, +threshold: U32, +tick: Nat) -> Act.of(List<&2, View.Acct>):
  Act.bind(Json.Json, List<&2, View.Acct>, Ustore.read_act(SBase.root_of(ctx)),
    rows => Act.bind(List<&2, Collect.St>, List<&2, View.Acct>, Act.lift(List<&2, Collect.St>, Collect.states(xs, rows, now)),
      ss => pass.heal(SBase.root_of(ctx), ss, models, threshold, now, tick, xs)))

Uses (16):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  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/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=St
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/collect.bend&name=states
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/collectrun.bend&name=pass.heal
  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=root_of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/ustore.bend&name=read_act
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/view.bend&name=Acct