StarvationDomain.Acquisition
type t = private {
elem : AcquisitionElem.t;
loc : IBase.Location.t;
trace : Absint.CallSite.t list;
}