Swcreds.uuid_in: def of cswap-bend-cli@0.1.0.0 Import: import cswap-bend-cli@0.1.0.0/swcreds.bend as Swcreds Lines 225-231 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=225&end_line=231 import Base import cswap-bend-cli@0.1.0.0/json.bend as Json 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 # The slot holding (uuid, org), if any. def uuid_in(+fields: Json.Json, +uuid: String, +org: String) -> Maybe<&2, String>: match fields: case Json.JField{k, v, t}: SSeq.pick_slot(SBase.nonempty(SSeq.field_str(v, "uuid")) && String.eq(SSeq.field_str(v, "uuid"), uuid) && String.eq(SSeq.field_str(v, "organizationUuid"), org), k, uuid_in(t, uuid, org)) case _: None{} 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=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/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=field_str https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/seq.bend&name=pick_slot