def scopes.check

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

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

57def scopes.check(+xs: List<&2, Json.Json>) -> Bool:
58  match xs:
59    case Nil{}:
60      False{}
61    case Con{h, t}:
62      Bool.not(has_profile(h <> t))