Frama_c_very_first
module Frama_c_init : sig ... end
Setting global, platform-wide settings. Nothing is exported by this module.
module Gui_init : sig ... end
Frama-C GUI early initialization.