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