--- /dev/null
+(* $Id$ *)
+
+open Gtk
+open GtkMain
+open GObj
+
+module Main : sig
+ val init : unit -> string (* returns the locale name *)
+ val main : unit -> unit
+ val quit : unit -> unit
+ val version : int * int * int
+ val flush : unit -> unit
+end = Main
+
+module Grab = struct
+ open Grab
+ let add (w : #widget) = add w#as_widget
+ let remove (w : #widget) = remove w#as_widget
+ let get_current () = new widget (get_current ())
+end
+
+module Timeout : sig
+ type id
+ val add : ms:int -> callback:(unit -> bool) -> id
+ val remove : id -> unit
+end = Timeout