def StateEntry.is_large

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

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

import Base

2428# Whether the entry is larger than 128 octets. W3C 3.3.3.1 asks to remove
2429# such entries first.
2430def StateEntry.is_large(entry: StateEntry) -> Bool:
2431  Nat.is_gt(StateEntry.size(entry), 128n)

Uses (4)

Used by (2)