]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/glib.ml
Initial revision
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0 / glib.ml
diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/glib.ml b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/glib.ml
new file mode 100644 (file)
index 0000000..2fd0140
--- /dev/null
@@ -0,0 +1,21 @@
+(* $Id$ *)
+
+type warning_func = string -> unit
+
+external set_warning_handler : (string -> unit) -> warning_func
+    = "ml_g_set_warning_handler"
+
+type print_func = string -> unit
+
+external set_print_handler : (string -> unit) -> print_func
+    = "ml_g_set_print_handler"
+
+module Main = struct
+  type t
+  external create : bool -> t = "ml_g_main_new"
+  external iteration : bool -> bool = "ml_g_main_iteration"
+  external pending : unit -> bool = "ml_g_main_pending"
+  external is_running : t -> bool = "ml_g_main_is_running"
+  external quit : t -> unit = "ml_g_main_quit"
+  external destroy : t -> unit = "ml_g_main_destroy"
+end