Module StarvationDomain.Acquisition
a lock acquisition with location information
type t= private{lock : Lock.t;loc : IBase.Location.t;procname : IR.Procname.t;}
StarvationDomain.Acquisitiona lock acquisition with location information
type t = private {lock : Lock.t; |
loc : IBase.Location.t; |
procname : IR.Procname.t; |
}