Module StarvationDomain.AcquisitionElem

a lock acquisition with location information

type t = private {
  1. lock : Lock.t;
  2. loc : IBase.Location.t;
  3. procname : IR.Procname.t;
}
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t Base__Ppx_compare_lib.compare