def has

bend-kit-authz@0.1.0.0 · authz.bend:44

import bend-kit-authz@0.1.0.0/authz.bend as Authz

import Base

44def has(+name: String, xs: List<&2, String>) -> Bool:
45  match xs:
46    case Nil{}:
47      False{}
48    case x <> rest:
49      String.eq(x, name) || has(name, rest)

Uses (5)

Used by (1)

bend-kit-authz@0.1.0.0/authz:role.is