Module Register_gui.HalsteadMetricsGUI

module HalsteadMetricsGUI: sig .. end

val compute : unit -> unit
val name : string
val display_result : Design.main_window_extension_points -> GPack.box -> unit
val register : Design.main_window_extension_points -> unit