def Entries.has_large

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

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

import Base

2433# Whether one of the entries is larger than 128 octets.
2434def Entries.has_large(entries: List<&2, StateEntry>) -> Bool:
2435  match entries:
2436    case Nil{}:
2437      False{}
2438    case Con{entry, rest}:
2439      Bool.or(StateEntry.is_large(entry), Entries.has_large(rest))

Uses (5)

Used by (2)