module HalsteadMetricsGUI: sig .. end
sig
end
val compute : unit -> unit
unit -> unit
val name : string
string
val display_result : Design.main_window_extension_points -> GPack.box -> unit
Design.main_window_extension_points -> GPack.box -> unit
val register : Design.main_window_extension_points -> unit
Design.main_window_extension_points -> unit