def has_profile

cswap-bend-cli@0.1.0.0 · usage/cred.bend:48

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json

48def has_profile(+xs: List<&2, Json.Json>) -> Bool:
49  match xs:
50    case Nil{}:
51      False{}
52    case Con{Json.JStr{s}, t}:
53      String.eq(s, "user:profile") || has_profile(t)
54    case Con{h, t}:
55      has_profile(t)