Previous
Up
Next
Module
Frama_c_init
module
Frama_c_init:
sig
..
end
Setting global, platform-wide settings. Nothing is exported by this module.