]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/glib.ml
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20001129-0.1.0 / glib.ml
1 (* $Id$ *)
2
3 type warning_func = string -> unit
4
5 external set_warning_handler : (string -> unit) -> warning_func
6     = "ml_g_set_warning_handler"
7
8 type print_func = string -> unit
9
10 external set_print_handler : (string -> unit) -> print_func
11     = "ml_g_set_print_handler"
12
13 module Main = struct
14   type t
15   external create : bool -> t = "ml_g_main_new"
16   external iteration : bool -> bool = "ml_g_main_iteration"
17   external pending : unit -> bool = "ml_g_main_pending"
18   external is_running : t -> bool = "ml_g_main_is_running"
19   external quit : t -> unit = "ml_g_main_quit"
20   external destroy : t -> unit = "ml_g_main_destroy"
21 end