Collectrun.rec.fetched: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/collectrun.bend as Collectrun
Lines 68-71 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=68&end_line=71

import Base
import cswap-bend-cli@0.1.0.0/urec.bend as Urec
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/ustore.bend as Ustore
import cswap-bend-cli@0.1.0.0/usage.bend as Usage

def rec.fetched(f: Usage.Fetched, +id: Ustore.Id, +claim: String, +row: Json.Json, +active: Bool, +models: List<&2, String>, +threshold: U32, +now: U32) -> IO(Urec.Rec):
  match f:
    case Usage.Fetched{+o, cred}:
      IO.bind(Json.Json, Urec.Rec, struck_json(outcome_struck(o)), sj => IO.pure(Urec.Rec, rec.of(o, id, claim, row, active, models, threshold, now, sj)))

Uses (14):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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.pure
  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=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/collectrun.bend&name=outcome_struck
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/collectrun.bend&name=rec.of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/collectrun.bend&name=struck_json
  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/urec.bend&name=Rec
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/usage.bend&name=Fetched
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/ustore.bend&name=Id