Collectrun.claim_of: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/collectrun.bend as Collectrun
Lines 22-27 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=22&end_line=27

import Base
import cswap-bend-cli@0.1.0.0/ustore.bend as Ustore

def claim_of(cs: List<&2, Ustore.Claim>, +slot: String) -> Maybe<&2, String>:
  match cs:
    case Nil{}:
      None{}
    case Con{Ustore.Claim{s, id}, t}:
      claim.pick(String.eq(s, slot), id, claim_of(t, slot))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/collectrun.bend&name=claim.pick
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/ustore.bend&name=Claim