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