Module Boot

module Boot: sig .. end

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