StarvationDomain.Eventtype t = | Ipc of {callee : IR.Procname.t;thread : ThreadDomain.t;}| LockAcquire of {locks : Lock.t list;thread : ThreadDomain.t;}| MayBlock of {callee : IR.Procname.t;thread : ThreadDomain.t;}| MonitorWait of {lock : Lock.t;thread : ThreadDomain.t;}| MustNotOccurUnderLock of {callee : IR.Procname.t;thread : ThreadDomain.t;}| RegexOp of {callee : IR.Procname.t;thread : ThreadDomain.t;}| StrictModeCall of {callee : IR.Procname.t;thread : ThreadDomain.t;}include Ppx_compare_lib.Comparable.S with type t := tval compare : t Base__Ppx_compare_lib.compareval describe : F.formatter -> t -> unit