Module 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.