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 |
structure SMLBasis : SML_BASIS = struct |
structure SMLBasis : SML_BASIS = struct |
8 |
structure C = Unsafe.CInterface |
structure C = Unsafe.CInterface |
|
type poll_desc = unit |
|
|
type poll_info = unit |
|
9 |
type idl_string = String.string |
type idl_string = String.string |
10 |
type cfun_idl_string = String.string |
type cfun_idl_string = String.string |
11 |
type ML_word8vec_t = Word8Vector.vector |
type ML_word8vec_t = Word8Vector.vector |
28 |
type cfun_ML_directory_t = Unsafe.Object.object |
type cfun_ML_directory_t = Unsafe.Object.object |
29 |
type Time_t = {sec:Int32.int,usec:Int32.int} |
type Time_t = {sec:Int32.int,usec:Int32.int} |
30 |
type cfun_Time_t = (Int32.int * Int32.int) |
type cfun_Time_t = (Int32.int * Int32.int) |
31 |
type ML_polldesc_list_t = poll_desc list |
type ML_polldesc_list_t = (word * Unsafe.Object.object) list |
32 |
type cfun_ML_polldesc_list_t = poll_desc list |
type cfun_ML_polldesc_list_t = (word * Unsafe.Object.object) list |
33 |
type ML_pollinfo_list_t = poll_info list |
type ML_pollinfo_list_t = (word * Unsafe.Object.object) list |
34 |
type cfun_ML_pollinfo_list_t = poll_info list |
type cfun_ML_pollinfo_list_t = (word * Unsafe.Object.object) list |
35 |
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} |
36 |
type cfun_Date_t = (Int32.int * Int32.int * Int32.int * Int32.int * Int32.int * Int32.int * Int32.int * Int32.int * Int32.int) |
type cfun_Date_t = (Int32.int * Int32.int * Int32.int * Int32.int * Int32.int * Int32.int * Int32.int * Int32.int * Int32.int) |
37 |
val TO_NEAREST = 0 : Int.int |
val TO_NEAREST = 0 : Int.int |
435 |
in |
in |
436 |
(kind) |
(kind) |
437 |
end |
end |
438 |
|
val POLL_RD = 0wx1 : Word.word |
439 |
|
val POLL_WR = 0wx2 : Word.word |
440 |
|
val POLL_ERR = 0wx4 : Word.word |
441 |
val cfun_poll : (cfun_ML_polldesc_list_t * cfun_Time_t option) -> cfun_ML_pollinfo_list_t = C.c_function "SMLBasis" "poll" |
val cfun_poll : (cfun_ML_polldesc_list_t * cfun_Time_t option) -> cfun_ML_pollinfo_list_t = C.c_function "SMLBasis" "poll" |
442 |
fun poll(pds,t) = let |
fun poll(pds,t) = let |
443 |
val m_pds = (fn x => x)(pds) |
val m_pds = (fn x => x)(pds) |