module Make:functor (
M
:
Sigs.Model
) ->
functor (
L
:
Sigs.LogicSemantics
with module M = M
) ->
Sigs.LogicAssigns
with module M = M and module L = L
Parameters: |
|
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