sig
  class type basic_main =
    object
      method error :
        ?parent:GWindow.window_skel ->
        ('a, Format.formatter, unit) format -> 'a
      method full_protect :
        cancelable:bool ->
        ?parent:GWindow.window_skel -> (unit -> 'a) -> 'a option
      method main_window : GWindow.window
      method protect :
        cancelable:bool ->
        ?parent:GWindow.window_skel -> (unit -> unit) -> unit
      method reset : unit -> unit
      method private set_reset : (unit -> unit) -> unit
    end
  val show :
    ?height:int -> ?width:int -> host:Launcher.basic_main -> unit -> unit
end