def Entries.size

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

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

import Base

2397# The octets of the entries joined by commas, as Entries.format writes them.
2398def Entries.size(entries: List<&2, StateEntry>) -> Nat:
2399  match entries:
2400    case Nil{}:
2401      0n
2402    case Con{entry, rest}:
2403      Nat.add(StateEntry.size(entry), Entries.size.rest(rest))

Uses (6)

Used by (2)