MayLocks.Argmodule D = LockDomain.MayLocksetmodule G = Goblint_lib.Analyses.DefaultSpec.Gmodule V = Goblint_lib.Analyses.DefaultSpec.Vval add :
(D.ReverseAddrSet.t, 'a, 'b, 'c) Analyses.ctx ->
(Goblint_lib.ValueDomain.Addr.t * D.RW.t) ->
D.ReverseAddrSet.tval remove :
(D.ReverseAddrSet.t, 'a, 'b, 'c) Analyses.ctx ->
Goblint_lib.ValueDomain.Addr.t ->
D.ReverseAddrSet.t