Module Register_gui.HalsteadMetricsGUI

module HalsteadMetricsGUI: sig .. end

val compute : unit -> unit
val name : string
val display_result : GPack.box -> unit
val register : 'a -> unit