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