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

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/swbase.bend as B
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 resolved_slot3(+m: Maybe<&2, String>, +seq: Json.Json, +uuid: String, +org: String) -> Maybe<&2, String>:
  match m:
    case Some{n}:
      Some{n}
    case None{}:
      B.sel_ms(SBase.nonempty(uuid), uuid_in(SSeq.fields_of(seq), uuid, org), None{})

Uses (7):
  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/json.bend&name=Json
  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=fields_of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/swbase.bend&name=sel_ms
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/swcreds.bend&name=uuid_in