Previous
Up
Next
Module
From_register
module
From_register:
sig
..
end
Registration of the From plugin in Frama-C main loop. Nothing is exported in this module