def Entries.has_key

bend-trace-context@0.2.0.0 · trace_context.bend:1905

import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext

import Base

1905# Whether one of the entries has this key.
1906def Entries.has_key(entries: List<&2, StateEntry>, +key: String) -> Bool:
1907  match entries:
1908    case Nil{}:
1909      False{}
1910    case Con{entry, rest}:
1911      Bool.or(String.eq(StateEntry.key_text(entry), key), Entries.has_key(rest, key))

Uses (7)

Used by (3)