def aud.has

bend-kit-jwt@0.11.0.1 · jwt.bend:373

import bend-kit-jwt@0.11.0.1/jwt.bend as Jwt

import Base

373def aud.has(l: List<&2, String>, +a: String) -> Bool:
374  match l:
375    case Nil{}:
376      False{}
377    case x <> t:
378      Bool.or(String.eq(x, a), aud.has(t, a))

Uses (5)

Used by (1)

bend-kit-jwt@0.11.0.1/jwt:aud.bad