Previous
Up
Next
Module
Boot
module
Boot
:
sig
..
end
Main entry point of Frama-C. Nothing is exported.
Consult the
Plugin Development Guide
for additional details.