StarvationDomain.AcquisitionElem
a lock acquisition with location information
type t = private {
lock : Lock.t;
loc : IBase.Location.t;
procname : IR.Procname.t;
}
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t Base__Ppx_compare_lib.compare