1 (* Copyright (C
) 2002-2005 Henry Cejtin
, Matthew Fluet
, Suresh
2 * Jagannathan
, and Stephen Weeks
.
4 * MLton is released under a BSD
-style license
.
5 * See the file MLton
-LICENSE for details
.
8 (* Required signatures
*)
9 signature ARRAY
= ARRAY
10 signature ARRAY_SLICE
= ARRAY_SLICE
11 signature BIN_IO
= BIN_IO
15 signature COMMAND_LINE
= COMMAND_LINE
17 signature GENERAL
= GENERAL
18 signature IEEE_REAL
= IEEE_REAL
19 signature IMPERATIVE_IO
= IMPERATIVE_IO
20 signature INTEGER
= INTEGER
21 signature INT_INF
= INT_INF
24 signature LIST_PAIR
= LIST_PAIR
26 signature MONO_ARRAY
= MONO_ARRAY
27 signature MONO_ARRAY_SLICE
= MONO_ARRAY_SLICE
28 signature MONO_VECTOR
= MONO_VECTOR
29 signature MONO_VECTOR_SLICE
= MONO_VECTOR_SLICE
30 signature OPTION
= OPTION
32 signature OS_FILE_SYS
= OS_FILE_SYS
33 signature OS_IO
= OS_IO
34 signature OS_PATH
= OS_PATH
35 signature OS_PROCESS
= OS_PROCESS
36 signature PRIM_IO
= PRIM_IO
38 signature STREAM_IO
= STREAM_IO
39 signature STRING
= STRING
40 signature STRING_CVT
= STRING_CVT
41 signature SUBSTRING
= SUBSTRING
43 signature TEXT_IO
= TEXT_IO
44 signature TEXT_STREAM_IO
= TEXT_STREAM_IO
46 signature TIMER
= TIMER
47 signature VECTOR
= VECTOR
48 signature VECTOR_SLICE
= VECTOR_SLICE
51 (* Optional signatures
*)
52 signature ARRAY2
= ARRAY2
53 signature BIT_FLAGS
= BIT_FLAGS
54 signature GENERIC_SOCK
= GENERIC_SOCK
55 signature INET_SOCK
= INET_SOCK
56 signature INT_INF
= INT_INF
57 signature MONO_ARRAY2
= MONO_ARRAY2
58 signature NET_HOST_DB
= NET_HOST_DB
59 signature NET_PROT_DB
= NET_PROT_DB
60 signature NET_SERV_DB
= NET_SERV_DB
61 signature PACK_REAL
= PACK_REAL
62 signature PACK_WORD
= PACK_WORD
63 signature POSIX
= POSIX
64 signature POSIX_ERROR
= POSIX_ERROR
65 signature POSIX_FILE_SYS
= POSIX_FILE_SYS
66 signature POSIX_IO
= POSIX_IO
67 signature POSIX_PROC_ENV
= POSIX_PROC_ENV
68 signature POSIX_PROCESS
= POSIX_PROCESS
69 signature POSIX_SIGNAL
= POSIX_SIGNAL
70 signature POSIX_SYS_DB
= POSIX_SYS_DB
71 signature POSIX_TTY
= POSIX_TTY
72 signature SOCKET
= SOCKET
74 signature UNIX_SOCK
= UNIX_SOCK
76 signature WINDOWS
= WINDOWS