Swcreds.classify: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/swcreds.bend as Swcreds
Lines 166-170 of cswap-bend-cli@0.1.0.0/swcreds.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/swcreds.bend&start_line=166&end_line=170

import Base
import cswap-bend-cli@0.1.0.0/store/base.bend as SBase

# `_classify_outgoing_credential` without the profile oracle: byte equality,
# refresh-token lineage, wiped tokens, another slot already holding this
# lineage, else unresolved.
def classify(+live: String, +backup: String, +others: List<&2, Other>) -> CKind:
  classify2(SBase.nonempty(backup), String.eq(backup, live), same_lineage(backup, live), wiped(live), foreign_slot(live, others))

Uses (10):
  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=String.eq
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/base.bend&name=nonempty
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/swcreds.bend&name=CKind
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/swcreds.bend&name=Other
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/swcreds.bend&name=classify2
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/swcreds.bend&name=foreign_slot
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/swcreds.bend&name=same_lineage
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/swcreds.bend&name=wiped