Type Alias ReadExecutionId 

pub type ReadExecutionId = RequestId;

The ID shared by the coordinator, every range-worker request, the terminal summary, and the HTTP cancellation route.

This deliberately reuses the cluster request ID rather than introducing a second correlation value which could be accidentally omitted from a worker cancellation message.

Aliased Type

pub struct ReadExecutionId(/* private fields */);