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;}