Swcreds.foreign_slot: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/swcreds.bend as Swcreds
Lines 136-141 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=136&end_line=141

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

def foreign_slot(+live: String, +others: List<&2, Other>) -> Maybe<&2, String>:
  match others:
    case Nil{}:
      None{}
    case Con{Other{s, c}, t}:
      SSeq.pick_slot(SBase.nonempty(c) && same_lineage(live, c), s, foreign_slot(live, t))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  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=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/store/seq.bend&name=pick_slot
  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=same_lineage