Up
–
frama-c-wp
»
Wp
» CodeSemantics
Module
Wp.CodeSemantics
module
Make
(
M
:
Memory.Model
) :
Memory.CodeSemantics
with
module
M
=
M