~/jendhub

def Send.fresh

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

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

3888# The name of a new operation's message, saying whether its state was
3889# truncated.
3890def Send.fresh(dropped: List<&2, StateKey>) -> String:
3891  match dropped:
3892    case Nil{}:
3893      "Fresh"
3894    case Con{key, rest}:
3895      "Fresh, truncated"

Uses (3)

Used by (1)