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