1 |
|
|
2 |
(* |
(* |
3 |
* This file was automatically generated by ml-idl |
* This file was automatically generated by ml-idl |
4 |
* (Fri Jun 22 13:52:28 2001) |
* (Fri Jun 29 19:27:34 2001) |
5 |
*) |
*) |
6 |
|
|
7 |
signature SML_BASIS = sig |
signature SML_BASIS = sig |
|
type poll_desc |
|
|
type poll_info |
|
8 |
type idl_string = String.string |
type idl_string = String.string |
9 |
type ML_word8vec_t = Word8Vector.vector |
type ML_word8vec_t = Word8Vector.vector |
10 |
type ML_word8arr_t = Word8Array.array |
type ML_word8arr_t = Word8Array.array |
16 |
type ML_iodesc_t = Unsafe.Object.object |
type ML_iodesc_t = Unsafe.Object.object |
17 |
type ML_directory_t = Unsafe.Object.object |
type ML_directory_t = Unsafe.Object.object |
18 |
type Time_t = {sec:Int32.int,usec:Int32.int} |
type Time_t = {sec:Int32.int,usec:Int32.int} |
19 |
type ML_polldesc_list_t = poll_desc list |
type ML_polldesc_list_t = (word * Unsafe.Object.object) list |
20 |
type ML_pollinfo_list_t = poll_info list |
type ML_pollinfo_list_t = (word * Unsafe.Object.object) list |
21 |
type Date_t = {tm_sec:Int32.int,tm_min:Int32.int,tm_hour:Int32.int,tm_mday:Int32.int,tm_mon:Int32.int,tm_year:Int32.int,tm_wday:Int32.int,tm_yday:Int32.int,tm_isdst:Int32.int} |
type Date_t = {tm_sec:Int32.int,tm_min:Int32.int,tm_hour:Int32.int,tm_mday:Int32.int,tm_mon:Int32.int,tm_year:Int32.int,tm_wday:Int32.int,tm_yday:Int32.int,tm_isdst:Int32.int} |
22 |
val TO_NEAREST : Int.int |
val TO_NEAREST : Int.int |
23 |
val TO_NEGINF : Int.int |
val TO_NEGINF : Int.int |
72 |
val IOD_KIND_SOCKET : Int.int |
val IOD_KIND_SOCKET : Int.int |
73 |
val IOD_KIND_DEVICE : Int.int |
val IOD_KIND_DEVICE : Int.int |
74 |
val ioDescKind : ML_iodesc_t -> Int.int |
val ioDescKind : ML_iodesc_t -> Int.int |
75 |
|
val POLL_RD : Word.word |
76 |
|
val POLL_WR : Word.word |
77 |
|
val POLL_ERR : Word.word |
78 |
val poll : (ML_polldesc_list_t * Time_t option) -> ML_pollinfo_list_t |
val poll : (ML_polldesc_list_t * Time_t option) -> ML_pollinfo_list_t |
79 |
val now : unit -> Time_t |
val now : unit -> Time_t |
80 |
val gmTime : Time_t -> Date_t |
val gmTime : Time_t -> Date_t |