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