StarvationDomain.CriticalPairElement
An event and the currently-held locks at the time it occurred.
type t = private {
acquisitions : Acquisitions.t;
event : Event.t;
}