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