sig 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 end