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