Module Frama_c_init

module Frama_c_init: sig .. end

Setting global, platform-wide settings. Nothing is exported by this module.