Module Concurrency__StarvationDomain.Event

type t =
| LockAcquire of {
locks : Lock.t list;
}
| MayBlock of {
callee : IR.Procname.t;
severity : Concurrency.StarvationModels.severity;
}
| StrictModeCall of {
callee : IR.Procname.t;
}
| MonitorWait of {
lock : Lock.t;
}
val compare : t -> t -> int
val describe : F.formatter -> t -> unit