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