Previous
Up
Next
Module
Main
module
Main
:
sig
..
end
Register the plugin in the Frama-C kernel. Nothing is exported.