~/jendhub

def claim_of

cswap-bend-cli@0.1.0.0 · collectrun.bend:22

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

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

Uses (6)

Used by (1)