LockDomain (p.goblint.1.1.1.doc.goblint.lib.LockDomain)

module Addr = ValueDomain.Addr

module Offs = ValueDomain.Offs

module Equ = MusteqDomain.Equ

module Exp = Exp.Exp

module IdxDom = ValueDomain.IndexDomain

module Mutexes : sig ... end

module Simple : sig ... end

module Priorities = IntDomain.Lifted

module OsekGlob : sig ... end

module Glob : sig ... end

module Lockset : sig ... end

module MayLockset : sig ... end

module Symbolic : sig ... end