~/jendhub

def Limits.error

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

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

1647# The first rule a refused configuration breaks.
1648def Limits.error(traceparent_input: Nat, tracestate_output: Nat) -> LimitsError:
1649  Bool.pick(LimitsError, Nat.is_lt(traceparent_input, 55n), TraceParentInputTooSmall{},
1650    Bool.pick(LimitsError, Nat.is_lt(tracestate_output, 512n), TraceStateOutputTooSmall{},
1651      TraceStateInputTooSmall{}))

Uses (4)

Used by (1)