Module From_register

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