14 datatype ref = datatype ref
15 datatype bool = datatype bool
16 datatype 'a option = NONE | SOME of 'a
17 datatype order = LESS | EQUAL | GREATER
18 datatype list = datatype list
20 (* Top-level exceptions *)
26 exception Fail of string
34 (* Top-level values *)
36 val := : 'a ref * 'a -> unit
37 val @ : ('a list * 'a list) -> 'a list
38 val ^ : string * string -> string
39 val app : ('a -> unit) -> 'a list -> unit
40 val before : 'a * unit -> 'a
41 val ceil : real -> int
43 val concat : string list -> string
44 val exnMessage : exn -> string
45 val exnName : exn -> string
46 val explode : string -> char list
47 val floor : real -> int
48 val foldl : ('a * 'b -> 'b) -> 'b -> 'a list -> 'b
49 val foldr : ('a * 'b -> 'b) -> 'b -> 'a list -> 'b
50 val getOpt : ('a option * 'a) -> 'a
51 val hd : 'a list -> 'a
52 val ignore : 'a -> unit
53 val isSome : 'a option -> bool
54 val implode : char list -> string
55 val length : 'a list -> int
56 val map : ('a -> 'b) -> 'a list -> 'b list
57 val not : bool -> bool
58 val null : 'a list -> bool
59 val o : ('a -> 'b) * ('c -> 'a) -> 'c -> 'b
61 val print : string -> unit
62 val real : int -> real
64 val ref : 'a -> 'a ref
66 val rev : 'a list -> 'a list
67 val round : real -> int
68 val size : string -> int
69 val str : char -> string
70 val substring : string * int * int -> string
71 val tl : 'a list -> 'a list
72 val trunc : real -> int
74 val use : string -> unit
76 val valOf : 'a option -> 'a
77 val vector : 'a list -> 'a vector
79 val = : ''a * ''a -> bool
80 val <> : ''a * ''a -> bool
82 (* Required structures *)
83 structure Array : ARRAY_1997
84 structure BinIO : BIN_IO_1997
86 structure BinPrimIO : PRIM_IO
91 structure CharArray : MONO_ARRAY_1997
92 structure CharVector : MONO_VECTOR_1997
93 structure CommandLine : COMMAND_LINE
95 structure General : GENERAL
96 structure IEEEReal : IEEE_REAL_1997
97 structure Int : INTEGER
98 structure IO : IO_1997
99 structure LargeInt : INTEGER
100 structure LargeReal : REAL_1997
101 structure LargeWord : WORD_1997
102 structure List : LIST
103 structure ListPair : LIST_PAIR
104 structure Math : MATH
105 structure Option : OPTION
106 structure OS : OS_1997
108 structure OS.FileSys : OS_FILE_SYS_1997
109 structure OS.Path : OS_PATH_1997
110 structure OS.Process : OS_PROCESS_1997
111 structure OS.IO : OS_IO
113 structure Position : INTEGER
114 structure Real : REAL_1997
115 structure SML90 : SML90
116 structure String : STRING_1997
117 structure StringCvt : STRING_CVT
118 structure Substring : SUBSTRING_1997
119 structure TextIO : TEXT_IO_1997
121 structure TextPrimIO : PRIM_IO
123 structure Time : TIME
124 structure Timer : TIMER_1997
125 structure Vector : VECTOR_1997
126 structure Word : WORD_1997
127 structure Word8 : WORD_1997
128 structure Word8Array : MONO_ARRAY_1997
129 structure Word8Vector : MONO_VECTOR_1997
131 (* Optional structures *)
132 structure Array2 : ARRAY2
133 structure BoolArray : MONO_ARRAY_1997
134 structure BoolArray2 : MONO_ARRAY2_1997
135 structure BoolVector : MONO_VECTOR_1997
136 structure CharArray2 : MONO_ARRAY2_1997
137 structure FixedInt : INTEGER
138 structure IntInf : INT_INF
139 structure Int1: INTEGER
140 structure Int2: INTEGER
141 structure Int3: INTEGER
142 structure Int4: INTEGER
143 structure Int5: INTEGER
144 structure Int6: INTEGER
145 structure Int7: INTEGER
146 structure Int8: INTEGER
147 structure Int9: INTEGER
148 structure Int10: INTEGER
149 structure Int11: INTEGER
150 structure Int12: INTEGER
151 structure Int13: INTEGER
152 structure Int14: INTEGER
153 structure Int15: INTEGER
154 structure Int16: INTEGER
155 structure Int17: INTEGER
156 structure Int18: INTEGER
157 structure Int19: INTEGER
158 structure Int20: INTEGER
159 structure Int21: INTEGER
160 structure Int22: INTEGER
161 structure Int23: INTEGER
162 structure Int24: INTEGER
163 structure Int25: INTEGER
164 structure Int26: INTEGER
165 structure Int27: INTEGER
166 structure Int28: INTEGER
167 structure Int29: INTEGER
168 structure Int30: INTEGER
169 structure Int31: INTEGER
170 structure Int32: INTEGER
171 structure Int64: INTEGER
172 structure IntArray : MONO_ARRAY_1997
173 structure Int32Array : MONO_ARRAY_1997
174 structure IntArray2 : MONO_ARRAY2_1997
175 structure Int32Array2 : MONO_ARRAY2_1997
176 structure IntVector : MONO_VECTOR_1997
177 structure Int32Vector : MONO_VECTOR_1997
179 structure Locale : LOCALE
180 structure MultiByte : MULTIBYTE
183 structure PackReal64Big : PACK_REAL
185 structure PackReal64Little : PACK_REAL
187 structure PackRealBig : PACK_REAL
189 structure PackRealLittle : PACK_REAL
190 structure Pack32Big : PACK_WORD
191 structure Pack32Little : PACK_WORD
193 structure Posix : POSIX_1997
195 structure Posix.Error : POSIX_ERROR
196 structure Posix.Signal : POSIX_SIGNAL
197 structure Posix.Process : POSIX_PROCESS_1997
198 structure Posix.ProcEnv : POSIX_PROC_ENV
199 structure Posix.FileSys : POSIX_FILE_SYS_1997
200 structure Posix.IO : POSIX_IO_1997
201 structure Posix.SysDB : POSIX_SYS_DB
202 structure Posix.TTY : POSIX_TTY_1997
204 structure RealArray : MONO_ARRAY_1997
205 structure RealVector : MONO_VECTOR_1997
206 structure Real64 : REAL_1997
207 structure Real64Array : MONO_ARRAY_1997
208 structure Real64Vector : MONO_VECTOR_1997
209 structure RealArray2 : MONO_ARRAY2_1997
210 structure Real64Array2 : MONO_ARRAY2_1997
211 structure SysWord : WORD_1997
213 structure WideChar : CHAR
214 structure WideCharArray : MONO_ARRAY_1997
215 structure WideCharArray2 : MONO_ARRAY2_1997
216 structure WideCharVector : MONO_VECTOR_1997
217 structure WideString : STRING
218 structure WideSubstring : SUBSTRING
219 structure WideTextPrimIO : PRIM_IO
220 structure WideTextIO : TEXT_IO
222 structure Word1: WORD_1997
223 structure Word2: WORD_1997
224 structure Word3: WORD_1997
225 structure Word4: WORD_1997
226 structure Word5: WORD_1997
227 structure Word6: WORD_1997
228 structure Word7: WORD_1997
229 structure Word9: WORD_1997
230 structure Word10: WORD_1997
231 structure Word11: WORD_1997
232 structure Word12: WORD_1997
233 structure Word13: WORD_1997
234 structure Word14: WORD_1997
235 structure Word15: WORD_1997
236 structure Word16: WORD_1997
237 structure Word17: WORD_1997
238 structure Word18: WORD_1997
239 structure Word19: WORD_1997
240 structure Word20: WORD_1997
241 structure Word21: WORD_1997
242 structure Word22: WORD_1997
243 structure Word23: WORD_1997
244 structure Word24: WORD_1997
245 structure Word25: WORD_1997
246 structure Word26: WORD_1997
247 structure Word27: WORD_1997
248 structure Word28: WORD_1997
249 structure Word29: WORD_1997
250 structure Word30: WORD_1997
251 structure Word31: WORD_1997
252 structure Word32: WORD_1997
253 structure Word64: WORD_1997
254 structure Word8Array2 : MONO_ARRAY2_1997
255 structure Unix : UNIX_1997