Module StarvationDomain.Event
type t=|LockAcquire of{locks : Lock.t list;}|MayBlock of{callee : IR.Procname.t;severity : StarvationModels.severity;}|StrictModeCall of{callee : IR.Procname.t;}|MonitorWait of{lock : Lock.t;}