def StateEntry.size

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

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

import Base

2383# The octets of `key=value` (law entry_size).
2384def StateEntry.size(entry: StateEntry) -> Nat:
2385  match entry:
2386    case StateEntry{key, value}:
2387      Nat.add(Utf8.length(StateKey.to_string(key)), 1n+Utf8.length(StateValue.to_string(value)))

Uses (6)

Used by (3)