~/jendhub

def Entries.size.rest

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

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

2389# The octets of each entry after the first, with its comma.
2390def Entries.size.rest(entries: List<&2, StateEntry>) -> Nat:
2391  match entries:
2392    case Nil{}:
2393      0n
2394    case Con{entry, rest}:
2395      1n+Nat.add(StateEntry.size(entry), Entries.size.rest(rest))

Uses (5)

Used by (1)