blob: 9d56a4de0a406c169d401ea057a554b00cbafa3d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
val main : unit -> unit
(** Tk main loop *)
type channel
(** Channel handled by the main loop *)
val set_up_channel : Unix.file_descr -> (unit -> unit) -> (channel -> unit) -> channel
(** [set_up_channel fd delete read] gives the opportunity to the main loop
to call [read] when data is available on [fd] and [delete] when [fd] is
closed *)
val close_channel : channel -> unit
(** Stops the handling of a channel by the main loop *)
|
