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