Up
–
frama-c
» Frama_c_boot
Module
Frama_c_boot
module
Boot
:
sig
...
end
Main entry point of Frama-C. Nothing is exported.