sig   val init_panel : Design.main_window_extension_points -> GPack.box   val coerce_panel_to_ui :     < coerce : 'a; .. > -> '-> string * 'a * 'c option   val display_as_table : string list list -> GPack.box -> unit   val reset_panel : '-> unit   val register_metrics : string -> (GPack.box -> unit) -> unit end