Module DeadlockDomain

type myowntypeEntry = {
  1. addr : ValueDomain.Addr.t;
  2. loc : Cil.location;
}
module MyLock : Printable.S with type t = myowntypeEntry
module Lockset : sig ... end