def has

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

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

import Base

238def has(l: List<&2, Field>, +k: String) -> Bool:
239  match l:
240    case Nil{}:
241      False{}
242    case Field{n, x} <> t:
243      Bool.or(String.eq(n, k), has(t, k))

Uses (6)

Used by (1)

bend-kit-jwt@0.11.0.1/jwt:head.check