pub fn sole_capability<T: Timestamp + TotalOrder>(
capabilities: &CapabilitySet<T>,
) -> &Capability<T>Expand description
The one capability of a message in a totally ordered scope.
A capability set over a totally ordered timestamp holds at most one capability. It holds none for a message sent under no capabilities, which makes no progress claims, and this function panics on such a set.