Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | val id = fn x => x |
2 | ||
3 | val _ = fn () => (() | |
4 | ||
5 | ; id: 'a Array.array -> 'a array | |
6 | ; id: 'a Array.vector -> 'a vector | |
7 | ; id: BinIO.StreamIO.elem -> Word8.word | |
8 | ; id: BinIO.StreamIO.pos -> BinPrimIO.pos | |
9 | ; id: BinIO.StreamIO.reader -> BinPrimIO.reader | |
10 | ; id: BinIO.StreamIO.vector -> Word8Vector.vector | |
11 | ; id: BinIO.StreamIO.writer -> BinPrimIO.writer | |
12 | ; id: BinPrimIO.array -> Word8Array.array | |
13 | ; id: BinPrimIO.elem -> Word8.word | |
14 | ; id: BinPrimIO.pos -> Position.int | |
15 | ; id: BinPrimIO.vector -> Word8Vector.vector | |
16 | ; id: Bool.bool -> bool | |
17 | ; id: BoolArray.elem -> Bool.bool | |
18 | ; id: BoolArray.vector -> BoolVector.vector | |
19 | ; id: BoolArray2.elem -> Bool.bool | |
20 | ; id: BoolArray2.vector -> BoolVector.vector | |
21 | ; id: BoolArraySlice.array -> BoolArray.array | |
22 | ; id: BoolArraySlice.elem -> Bool.bool | |
23 | ; id: BoolArraySlice.vector -> BoolVector.vector | |
24 | ; id: BoolArraySlice.vector_slice -> BoolVectorSlice.slice | |
25 | ; id: BoolVector.elem -> Bool.bool | |
26 | ; id: BoolVectorSlice.elem -> BoolVector.elem | |
27 | ; id: BoolVectorSlice.vector -> BoolVector.vector | |
28 | ; id: Char.char -> char | |
29 | ; id: Char.string -> String.string | |
30 | ; id: CharArray.elem -> Char.char | |
31 | ; id: CharArray.vector -> CharVector.vector | |
32 | ; id: CharArray2.elem -> Char.char | |
33 | ; id: CharArray2.vector -> CharVector.vector | |
34 | ; id: CharArraySlice.array -> CharArray.array | |
35 | ; id: CharArraySlice.elem -> Char.char | |
36 | ; id: CharArraySlice.vector -> CharVector.vector | |
37 | ; id: CharArraySlice.vector_slice -> CharVectorSlice.slice | |
38 | ; id: CharVector.elem -> Char.char | |
39 | ; id: CharVector.vector -> String.string | |
40 | ; id: CharVectorSlice.elem -> char | |
41 | ; id: CharVectorSlice.slice -> Substring.substring | |
42 | ; id: CharVectorSlice.vector -> String.string | |
43 | ; id: General.exn -> exn | |
44 | ; id: INetSock.dgram_sock -> Socket.dgram INetSock.sock | |
45 | ; id: INetSock.sock_addr -> INetSock.inet Socket.sock_addr | |
46 | ; id: 'sock_type INetSock.sock -> (INetSock.inet, 'sock_type) Socket.sock | |
47 | ; id: 'mode INetSock.stream_sock -> 'mode Socket.stream INetSock.sock | |
48 | ; id: Int16Array.elem -> Int16.int | |
49 | ; id: Int16Array.vector -> Int16Vector.vector | |
50 | ; id: Int16Array2.elem -> Int16.int | |
51 | ; id: Int16Array2.vector -> Int16Vector.vector | |
52 | ; id: Int16ArraySlice.array -> Int16Array.array | |
53 | ; id: Int16ArraySlice.elem -> Int16.int | |
54 | ; id: Int16ArraySlice.vector -> Int16Vector.vector | |
55 | ; id: Int16ArraySlice.vector_slice -> Int16VectorSlice.slice | |
56 | ; id: Int16Vector.elem -> Int16.int | |
57 | ; id: Int16VectorSlice.elem -> Int16Vector.elem | |
58 | ; id: Int16VectorSlice.vector -> Int16Vector.vector | |
59 | ; id: Int32Array.elem -> Int32.int | |
60 | ; id: Int32Array.vector -> Int32Vector.vector | |
61 | ; id: Int32Array2.elem -> Int32.int | |
62 | ; id: Int32Array2.vector -> Int32Vector.vector | |
63 | ; id: Int32ArraySlice.array -> Int32Array.array | |
64 | ; id: Int32ArraySlice.elem -> Int32.int | |
65 | ; id: Int32ArraySlice.vector -> Int32Vector.vector | |
66 | ; id: Int32ArraySlice.vector_slice -> Int32VectorSlice.slice | |
67 | ; id: Int32Vector.elem -> Int32.int | |
68 | ; id: Int32VectorSlice.elem -> Int32Vector.elem | |
69 | ; id: Int32VectorSlice.vector -> Int32Vector.vector | |
70 | ; id: Int64Array.elem -> Int64.int | |
71 | ; id: Int64Array.vector -> Int64Vector.vector | |
72 | ; id: Int64Array2.elem -> Int64.int | |
73 | ; id: Int64Array2.vector -> Int64Vector.vector | |
74 | ; id: Int64ArraySlice.array -> Int64Array.array | |
75 | ; id: Int64ArraySlice.elem -> Int64.int | |
76 | ; id: Int64ArraySlice.vector -> Int64Vector.vector | |
77 | ; id: Int64ArraySlice.vector_slice -> Int64VectorSlice.slice | |
78 | ; id: Int64Vector.elem -> Int64.int | |
79 | ; id: Int64VectorSlice.elem -> Int64Vector.elem | |
80 | ; id: Int64VectorSlice.vector -> Int64Vector.vector | |
81 | ; id: Int8Array.elem -> Int8.int | |
82 | ; id: Int8Array.vector -> Int8Vector.vector | |
83 | ; id: Int8Array2.elem -> Int8.int | |
84 | ; id: Int8Array2.vector -> Int8Vector.vector | |
85 | ; id: Int8ArraySlice.array -> Int8Array.array | |
86 | ; id: Int8ArraySlice.elem -> Int8.int | |
87 | ; id: Int8ArraySlice.vector -> Int8Vector.vector | |
88 | ; id: Int8ArraySlice.vector_slice -> Int8VectorSlice.slice | |
89 | ; id: Int8Vector.elem -> Int8.int | |
90 | ; id: Int8VectorSlice.elem -> Int8Vector.elem | |
91 | ; id: Int8VectorSlice.vector -> Int8Vector.vector | |
92 | ; id: IntArray.elem -> Int.int | |
93 | ; id: IntArray.vector -> IntVector.vector | |
94 | ; id: IntArray2.elem -> Int.int | |
95 | ; id: IntArray2.vector -> IntVector.vector | |
96 | ; id: IntArraySlice.array -> IntArray.array | |
97 | ; id: IntArraySlice.elem -> Int.int | |
98 | ; id: IntArraySlice.vector -> IntVector.vector | |
99 | ; id: IntArraySlice.vector_slice -> IntVectorSlice.slice | |
100 | ; id: IntVector.elem -> Int.int | |
101 | ; id: IntVectorSlice.elem -> IntVector.elem | |
102 | ; id: IntVectorSlice.vector -> IntVector.vector | |
103 | ; id: LargeIntArray.elem -> LargeInt.int | |
104 | ; id: LargeIntArray.vector -> LargeIntVector.vector | |
105 | ; id: LargeIntArray2.elem -> LargeInt.int | |
106 | ; id: LargeIntArray2.vector -> LargeIntVector.vector | |
107 | ; id: LargeIntArraySlice.array -> LargeIntArray.array | |
108 | ; id: LargeIntArraySlice.elem -> LargeInt.int | |
109 | ; id: LargeIntArraySlice.vector -> LargeIntVector.vector | |
110 | ; id: LargeIntArraySlice.vector_slice -> LargeIntVectorSlice.slice | |
111 | ; id: LargeIntVector.elem -> LargeInt.int | |
112 | ; id: LargeIntVectorSlice.elem -> LargeIntVector.elem | |
113 | ; id: LargeIntVectorSlice.vector -> LargeIntVector.vector | |
114 | ; id: LargeRealArray.elem -> LargeReal.real | |
115 | ; id: LargeRealArray.vector -> LargeRealVector.vector | |
116 | ; id: LargeRealArray2.elem -> LargeReal.real | |
117 | ; id: LargeRealArray2.vector -> LargeRealVector.vector | |
118 | ; id: LargeRealArraySlice.array -> LargeRealArray.array | |
119 | ; id: LargeRealArraySlice.elem -> LargeReal.real | |
120 | ; id: LargeRealArraySlice.vector -> LargeRealVector.vector | |
121 | ; id: LargeRealArraySlice.vector_slice -> LargeRealVectorSlice.slice | |
122 | ; id: LargeRealVector.elem -> LargeReal.real | |
123 | ; id: LargeRealVectorSlice.elem -> LargeRealVector.elem | |
124 | ; id: LargeRealVectorSlice.vector -> LargeRealVector.vector | |
125 | ; id: LargeWordArray.elem -> LargeWord.word | |
126 | ; id: LargeWordArray.vector -> LargeWordVector.vector | |
127 | ; id: LargeWordArray2.elem -> LargeWord.word | |
128 | ; id: LargeWordArray2.vector -> LargeWordVector.vector | |
129 | ; id: LargeWordArraySlice.array -> LargeWordArray.array | |
130 | ; id: LargeWordArraySlice.elem -> LargeWord.word | |
131 | ; id: LargeWordArraySlice.vector -> LargeWordVector.vector | |
132 | ; id: LargeWordArraySlice.vector_slice -> LargeWordVectorSlice.slice | |
133 | ; id: LargeWordVector.elem -> LargeWord.word | |
134 | ; id: LargeWordVectorSlice.elem -> LargeWordVector.elem | |
135 | ; id: LargeWordVectorSlice.vector -> LargeWordVector.vector | |
136 | ; id: 'a List.list -> 'a list | |
137 | ; id: Math.real -> Real.real | |
138 | ; id: 'a Option.option -> 'a option | |
139 | ; id: PackReal32Big.real -> Real32.real | |
140 | ; id: PackReal32Little.real -> Real32.real | |
141 | ; id: PackReal64Big.real -> Real64.real | |
142 | ; id: PackReal64Little.real -> Real64.real | |
143 | ; id: PackRealBig.real -> Real.real | |
144 | ; id: PackRealLittle.real -> Real.real | |
145 | ; id: Posix.Error.syserror -> OS.syserror | |
146 | ; id: Posix.FileSys.file_desc -> Posix.ProcEnv.file_desc | |
147 | ; id: Posix.FileSys.gid -> Posix.ProcEnv.gid | |
148 | ; id: Posix.FileSys.uid -> Posix.ProcEnv.uid | |
149 | ; id: Posix.IO.file_desc -> Posix.ProcEnv.file_desc | |
150 | ; id: Posix.IO.open_mode -> Posix.FileSys.open_mode | |
151 | ; id: Posix.IO.pid -> Posix.Process.pid | |
152 | ; id: Posix.ProcEnv.pid -> Posix.Process.pid | |
153 | ; id: Posix.Process.signal -> Posix.Signal.signal | |
154 | ; id: Posix.SysDB.gid -> Posix.ProcEnv.gid | |
155 | ; id: Posix.SysDB.uid -> Posix.ProcEnv.uid | |
156 | ; id: Posix.TTY.file_desc -> Posix.ProcEnv.file_desc | |
157 | ; id: Posix.TTY.pid -> Posix.Process.pid | |
158 | ; id: Real.real -> real | |
159 | ; id: Real32Array.elem -> Real32.real | |
160 | ; id: Real32Array.vector -> Real32Vector.vector | |
161 | ; id: Real32Array2.elem -> Real32.real | |
162 | ; id: Real32Array2.vector -> Real32Vector.vector | |
163 | ; id: Real32ArraySlice.array -> Real32Array.array | |
164 | ; id: Real32ArraySlice.elem -> Real32.real | |
165 | ; id: Real32ArraySlice.vector -> Real32Vector.vector | |
166 | ; id: Real32ArraySlice.vector_slice -> Real32VectorSlice.slice | |
167 | ; id: Real32Vector.elem -> Real32.real | |
168 | ; id: Real32VectorSlice.elem -> Real32Vector.elem | |
169 | ; id: Real32VectorSlice.vector -> Real32Vector.vector | |
170 | ; id: Real64Array.elem -> Real64.real | |
171 | ; id: Real64Array.vector -> Real64Vector.vector | |
172 | ; id: Real64Array2.elem -> Real64.real | |
173 | ; id: Real64Array2.vector -> Real64Vector.vector | |
174 | ; id: Real64ArraySlice.array -> Real64Array.array | |
175 | ; id: Real64ArraySlice.elem -> Real64.real | |
176 | ; id: Real64ArraySlice.vector -> Real64Vector.vector | |
177 | ; id: Real64ArraySlice.vector_slice -> Real64VectorSlice.slice | |
178 | ; id: Real64Vector.elem -> Real64.real | |
179 | ; id: Real64VectorSlice.elem -> Real64Vector.elem | |
180 | ; id: Real64VectorSlice.vector -> Real64Vector.vector | |
181 | ; id: RealArray.elem -> Real.real | |
182 | ; id: RealArray.vector -> RealVector.vector | |
183 | ; id: RealArray2.elem -> Real.real | |
184 | ; id: RealArray2.vector -> RealVector.vector | |
185 | ; id: RealArraySlice.array -> RealArray.array | |
186 | ; id: RealArraySlice.elem -> Real.real | |
187 | ; id: RealArraySlice.vector -> RealVector.vector | |
188 | ; id: RealArraySlice.vector_slice -> RealVectorSlice.slice | |
189 | ; id: RealVector.elem -> Real.real | |
190 | ; id: RealVectorSlice.elem -> RealVector.elem | |
191 | ; id: RealVectorSlice.vector -> RealVector.vector | |
192 | ; id: String.char -> Char.char | |
193 | ; id: String.string -> CharVector.vector | |
194 | ; id: String.string -> string | |
195 | ; id: Substring.char -> Char.char | |
196 | ; id: Substring.string -> String.string | |
197 | ; id: Substring.substring -> CharVectorSlice.slice | |
198 | ; id: Text.Char.char -> Char.char | |
199 | ; id: Text.Char.char -> Text.CharArray.elem | |
200 | ; id: Text.Char.char -> Text.CharArraySlice.elem | |
201 | ; id: Text.Char.char -> Text.CharVector.elem | |
202 | ; id: Text.Char.char -> Text.CharVectorSlice.elem | |
203 | ; id: Text.Char.char -> Text.String.char | |
204 | ; id: Text.Char.char -> Text.Substring.char | |
205 | ; id: Text.Char.string -> Text.CharArray.vector | |
206 | ; id: Text.Char.string -> Text.CharArraySlice.vector | |
207 | ; id: Text.Char.string -> Text.CharVector.vector | |
208 | ; id: Text.Char.string -> Text.CharVectorSlice.vector | |
209 | ; id: Text.Char.string -> Text.String.string | |
210 | ; id: Text.Char.string -> Text.Substring.string | |
211 | ; id: Text.CharArray.array -> CharArray.array | |
212 | ; id: Text.CharArray.array -> Text.CharArraySlice.array | |
213 | ; id: Text.CharArraySlice.array -> Text.CharArray.array | |
214 | ; id: Text.CharArraySlice.slice -> CharArraySlice.slice | |
215 | ; id: Text.CharArraySlice.vector_slice -> Text.CharVectorSlice.slice | |
216 | ; id: Text.CharVector.vector -> CharVector.vector | |
217 | ; id: Text.CharVectorSlice.slice -> CharVectorSlice.slice | |
218 | ; id: Text.CharVectorSlice.slice -> Text.CharArraySlice.vector_slice | |
219 | ; id: Text.String.string -> String.string | |
220 | ; id: Text.Substring.substring -> Substring.substring | |
221 | ; id: TextIO.StreamIO.pos -> TextPrimIO.pos | |
222 | ; id: TextIO.StreamIO.reader -> TextPrimIO.reader | |
223 | ; id: TextIO.StreamIO.writer -> TextPrimIO.writer | |
224 | ; id: TextPrimIO.array -> CharArray.array | |
225 | ; id: TextPrimIO.elem -> Char.char | |
226 | ; id: TextPrimIO.vector -> CharVector.vector | |
227 | ; id: UnixSock.dgram_sock -> Socket.dgram UnixSock.sock | |
228 | ; id: UnixSock.sock_addr -> UnixSock.unix Socket.sock_addr | |
229 | ; id: 'sock_type UnixSock.sock -> (UnixSock.unix, 'sock_type) Socket.sock | |
230 | ; id: 'mode UnixSock.stream_sock -> 'mode Socket.stream UnixSock.sock | |
231 | ; id: 'a Vector.vector -> 'a vector | |
232 | ; id: Word.word -> word | |
233 | ; id: Word16Array.elem -> Word16.word | |
234 | ; id: Word16Array.vector -> Word16Vector.vector | |
235 | ; id: Word16Array2.elem -> Word16.word | |
236 | ; id: Word16Array2.vector -> Word16Vector.vector | |
237 | ; id: Word16ArraySlice.array -> Word16Array.array | |
238 | ; id: Word16ArraySlice.elem -> Word16.word | |
239 | ; id: Word16ArraySlice.vector -> Word16Vector.vector | |
240 | ; id: Word16ArraySlice.vector_slice -> Word16VectorSlice.slice | |
241 | ; id: Word16Vector.elem -> Word16.word | |
242 | ; id: Word16VectorSlice.elem -> Word16Vector.elem | |
243 | ; id: Word16VectorSlice.vector -> Word16Vector.vector | |
244 | ; id: Word32Array.elem -> Word32.word | |
245 | ; id: Word32Array.vector -> Word32Vector.vector | |
246 | ; id: Word32Array2.elem -> Word32.word | |
247 | ; id: Word32Array2.vector -> Word32Vector.vector | |
248 | ; id: Word32ArraySlice.array -> Word32Array.array | |
249 | ; id: Word32ArraySlice.elem -> Word32.word | |
250 | ; id: Word32ArraySlice.vector -> Word32Vector.vector | |
251 | ; id: Word32ArraySlice.vector_slice -> Word32VectorSlice.slice | |
252 | ; id: Word32Vector.elem -> Word32.word | |
253 | ; id: Word32VectorSlice.elem -> Word32Vector.elem | |
254 | ; id: Word32VectorSlice.vector -> Word32Vector.vector | |
255 | ; id: Word64Array.elem -> Word64.word | |
256 | ; id: Word64Array.vector -> Word64Vector.vector | |
257 | ; id: Word64Array2.elem -> Word64.word | |
258 | ; id: Word64Array2.vector -> Word64Vector.vector | |
259 | ; id: Word64ArraySlice.array -> Word64Array.array | |
260 | ; id: Word64ArraySlice.elem -> Word64.word | |
261 | ; id: Word64ArraySlice.vector -> Word64Vector.vector | |
262 | ; id: Word64ArraySlice.vector_slice -> Word64VectorSlice.slice | |
263 | ; id: Word64Vector.elem -> Word64.word | |
264 | ; id: Word64VectorSlice.elem -> Word64Vector.elem | |
265 | ; id: Word64VectorSlice.vector -> Word64Vector.vector | |
266 | ; id: Word8Array.elem -> Word8.word | |
267 | ; id: Word8Array.vector -> Word8Vector.vector | |
268 | ; id: Word8Array2.elem -> Word8.word | |
269 | ; id: Word8Array2.vector -> Word8Vector.vector | |
270 | ; id: Word8ArraySlice.array -> Word8Array.array | |
271 | ; id: Word8ArraySlice.elem -> Word8.word | |
272 | ; id: Word8ArraySlice.vector -> Word8Vector.vector | |
273 | ; id: Word8ArraySlice.vector_slice -> Word8VectorSlice.slice | |
274 | ; id: Word8Vector.elem -> Word8.word | |
275 | ; id: Word8VectorSlice.elem -> Word8Vector.elem | |
276 | ; id: Word8VectorSlice.vector -> Word8Vector.vector | |
277 | ; id: WordArray.elem -> Word.word | |
278 | ; id: WordArray.vector -> WordVector.vector | |
279 | ; id: WordArray2.elem -> Word.word | |
280 | ; id: WordArray2.vector -> WordVector.vector | |
281 | ; id: WordArraySlice.array -> WordArray.array | |
282 | ; id: WordArraySlice.elem -> Word.word | |
283 | ; id: WordArraySlice.vector -> WordVector.vector | |
284 | ; id: WordArraySlice.vector_slice -> WordVectorSlice.slice | |
285 | ; id: WordVector.elem -> Word.word | |
286 | ; id: WordVectorSlice.elem -> WordVector.elem | |
287 | ; id: WordVectorSlice.vector -> WordVector.vector | |
288 | ||
289 | (* ; id: WideChar.string -> WideString.string | |
290 | * ; id: WideCharArray.elem -> WideChar.char | |
291 | * ; id: WideCharArray.vector -> WideCharVector.vector | |
292 | * ; id: WideCharArray2.elem -> WideChar.char | |
293 | * ; id: WideCharArray2.vector -> WideCharVector.vector | |
294 | * ; id: WideCharArraySlice.array -> WideCharArray.array | |
295 | * ; id: WideCharArraySlice.elem -> WideChar.char | |
296 | * ; id: WideCharArraySlice.vector -> WideCharVector.vector | |
297 | * ; id: WideCharArraySlice.vector_slice -> WideCharVectorSlice.slice | |
298 | * ; id: WideCharVector.elem -> WideChar.char | |
299 | * ; id: WideCharVector.vector -> WideString.string | |
300 | * ; id: WideCharVectorSlice.elem -> WideCharVector.elem | |
301 | * ; id: WideCharVectorSlice.vector -> WideCharVector.vector | |
302 | * ; id: WideString.string -> WideCharVector.vector | |
303 | * ; id: WideString.type char -> WideChar.char | |
304 | * ; id: WideSubstring.char -> WideChar.char | |
305 | * ; id: WideSubstring.string -> WideString.string | |
306 | * ; id: WideSubstring.substring -> WideCharVectorSlice.slice | |
307 | * ; id: WideText.Char.char -> WideChar.char | |
308 | * ; id: WideText.CharArray.array -> WideCharArray.array | |
309 | * ; id: WideText.CharArraySlice.slice -> WideCharArraySlice.slice | |
310 | * ; id: WideText.CharVector.vector -> WideCharVector.vector | |
311 | * ; id: WideText.CharVectorSlice.slice -> WideCharVectorSlice.slice | |
312 | * ; id: WideText.String.string -> WideString.string | |
313 | * ; id: WideText.Substring.substring -> WideSubstring.substring | |
314 | * ; id: WideTextPrimIO.array -> WideCharArray.array | |
315 | * ; id: WideTextPrimIO.elem -> WideChar.char | |
316 | * ; id: WideTextPrimIO.vector -> WideCharVector.vector | |
317 | *) | |
318 | ||
319 | ) |