Module Register_gui

module Register_gui: sig .. end

Extension of the Frama-C GUI for the plugin. Nothing is exported.

This module defines abstraction for Metrics use