Previous
Up
Module
Mwp
module
Mwp:
sig
..
end
Model for the interpretation of ACSL/C
module type
Export
=
sig
..
end
module type
S
=
sig
..
end