module A:Sigs.LogicAssigns
with module M = M and module L = L
module M:Sigs.Model
module L:Sigs.LogicSemantics
with module M = M
val domain : M.loc Sigs.region -> M.Heap.set
val apply_assigns : M.sigma Sigs.sequence -> M.loc Sigs.region -> Lang.F.pred list