Module Frama_c_boot

module Boot : sig ... end

Main entry point of Frama-C. Nothing is exported.