Module Frama_c_boot.Boot

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