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