class query_gui : (query_gui_input -> 'a) -> (query_gui_input -> 'b) -> query_gui_input -> object .. end
(query_gui_input -> 'a) -> (query_gui_input -> 'b) -> query_gui_input ->
object
end
method private _grab_input : query_gui_input
query_gui_input
method private _cb__ok_button_clicked : unit -> unit
unit -> unit
method private _cb__cancel_button_clicked : unit -> unit
method start : unit -> unit