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