def TraceState.is_valid

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

import Base

1923# Distinct keys and at most 32 entries (W3C 3.3.2 and 3.3.3).
1924def TraceState.is_valid(+entries: List<&2, StateEntry>) -> Bool:
1925  Bool.and(Entries.unique(entries, Nil{}), Nat.is_le(List.length(&2, StateEntry, entries), 32n))