type Limits

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

import Base

1635# Budgets in UTF-8 octets. The input budgets bound a received traceparent value
1636# and a combined tracestate value; the output budget is the most an emitted
1637# tracestate may take. `evidence` is the proof of Limits.is_valid, so every
1638# Limits value follows the rules.
1639type Limits is Data:
1640  Limits{
1641    traceparent_input: Nat,
1642    tracestate_input: Nat,
1643    tracestate_output: Nat,
1644    evidence: {Limits.is_valid(traceparent_input, tracestate_input, tracestate_output) == True{} : Bool}
1645  }