Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | (* This file is automatically generated. Do not edit. *) |
2 | fun f (x: Int.int) = ~ x | |
3 | fun f (x: IntInf.int) = ~ x | |
4 | fun f (x: LargeInt.int) = ~ x | |
5 | fun f (x: FixedInt.int) = ~ x | |
6 | fun f (x: Position.int) = ~ x | |
7 | fun f (x: Int2.int) = ~ x | |
8 | fun f (x: Int3.int) = ~ x | |
9 | fun f (x: Int4.int) = ~ x | |
10 | fun f (x: Int5.int) = ~ x | |
11 | fun f (x: Int6.int) = ~ x | |
12 | fun f (x: Int7.int) = ~ x | |
13 | fun f (x: Int8.int) = ~ x | |
14 | fun f (x: Int9.int) = ~ x | |
15 | fun f (x: Int10.int) = ~ x | |
16 | fun f (x: Int11.int) = ~ x | |
17 | fun f (x: Int12.int) = ~ x | |
18 | fun f (x: Int13.int) = ~ x | |
19 | fun f (x: Int14.int) = ~ x | |
20 | fun f (x: Int15.int) = ~ x | |
21 | fun f (x: Int16.int) = ~ x | |
22 | fun f (x: Int17.int) = ~ x | |
23 | fun f (x: Int18.int) = ~ x | |
24 | fun f (x: Int19.int) = ~ x | |
25 | fun f (x: Int20.int) = ~ x | |
26 | fun f (x: Int21.int) = ~ x | |
27 | fun f (x: Int22.int) = ~ x | |
28 | fun f (x: Int23.int) = ~ x | |
29 | fun f (x: Int24.int) = ~ x | |
30 | fun f (x: Int25.int) = ~ x | |
31 | fun f (x: Int26.int) = ~ x | |
32 | fun f (x: Int27.int) = ~ x | |
33 | fun f (x: Int28.int) = ~ x | |
34 | fun f (x: Int29.int) = ~ x | |
35 | fun f (x: Int30.int) = ~ x | |
36 | fun f (x: Int31.int) = ~ x | |
37 | fun f (x: Int32.int) = ~ x | |
38 | fun f (x: Int64.int) = ~ x | |
39 | fun f (x: Word.word) = ~ x | |
40 | fun f (x: LargeWord.word) = ~ x | |
41 | fun f (x: SysWord.word) = ~ x | |
42 | fun f (x: Word2.word) = ~ x | |
43 | fun f (x: Word3.word) = ~ x | |
44 | fun f (x: Word4.word) = ~ x | |
45 | fun f (x: Word5.word) = ~ x | |
46 | fun f (x: Word6.word) = ~ x | |
47 | fun f (x: Word7.word) = ~ x | |
48 | fun f (x: Word8.word) = ~ x | |
49 | fun f (x: Word9.word) = ~ x | |
50 | fun f (x: Word10.word) = ~ x | |
51 | fun f (x: Word11.word) = ~ x | |
52 | fun f (x: Word12.word) = ~ x | |
53 | fun f (x: Word13.word) = ~ x | |
54 | fun f (x: Word14.word) = ~ x | |
55 | fun f (x: Word15.word) = ~ x | |
56 | fun f (x: Word16.word) = ~ x | |
57 | fun f (x: Word17.word) = ~ x | |
58 | fun f (x: Word18.word) = ~ x | |
59 | fun f (x: Word19.word) = ~ x | |
60 | fun f (x: Word20.word) = ~ x | |
61 | fun f (x: Word21.word) = ~ x | |
62 | fun f (x: Word22.word) = ~ x | |
63 | fun f (x: Word23.word) = ~ x | |
64 | fun f (x: Word24.word) = ~ x | |
65 | fun f (x: Word25.word) = ~ x | |
66 | fun f (x: Word26.word) = ~ x | |
67 | fun f (x: Word27.word) = ~ x | |
68 | fun f (x: Word28.word) = ~ x | |
69 | fun f (x: Word29.word) = ~ x | |
70 | fun f (x: Word30.word) = ~ x | |
71 | fun f (x: Word31.word) = ~ x | |
72 | fun f (x: Word32.word) = ~ x | |
73 | fun f (x: Word64.word) = ~ x | |
74 | fun f (x: Real.real) = ~ x | |
75 | fun f (x: Real32.real) = ~ x | |
76 | fun f (x: Real64.real) = ~ x | |
77 | fun f (x: LargeReal.real) = ~ x | |
78 | fun f (x: Int.int) = x + x | |
79 | fun f (x: IntInf.int) = x + x | |
80 | fun f (x: LargeInt.int) = x + x | |
81 | fun f (x: FixedInt.int) = x + x | |
82 | fun f (x: Position.int) = x + x | |
83 | fun f (x: Int2.int) = x + x | |
84 | fun f (x: Int3.int) = x + x | |
85 | fun f (x: Int4.int) = x + x | |
86 | fun f (x: Int5.int) = x + x | |
87 | fun f (x: Int6.int) = x + x | |
88 | fun f (x: Int7.int) = x + x | |
89 | fun f (x: Int8.int) = x + x | |
90 | fun f (x: Int9.int) = x + x | |
91 | fun f (x: Int10.int) = x + x | |
92 | fun f (x: Int11.int) = x + x | |
93 | fun f (x: Int12.int) = x + x | |
94 | fun f (x: Int13.int) = x + x | |
95 | fun f (x: Int14.int) = x + x | |
96 | fun f (x: Int15.int) = x + x | |
97 | fun f (x: Int16.int) = x + x | |
98 | fun f (x: Int17.int) = x + x | |
99 | fun f (x: Int18.int) = x + x | |
100 | fun f (x: Int19.int) = x + x | |
101 | fun f (x: Int20.int) = x + x | |
102 | fun f (x: Int21.int) = x + x | |
103 | fun f (x: Int22.int) = x + x | |
104 | fun f (x: Int23.int) = x + x | |
105 | fun f (x: Int24.int) = x + x | |
106 | fun f (x: Int25.int) = x + x | |
107 | fun f (x: Int26.int) = x + x | |
108 | fun f (x: Int27.int) = x + x | |
109 | fun f (x: Int28.int) = x + x | |
110 | fun f (x: Int29.int) = x + x | |
111 | fun f (x: Int30.int) = x + x | |
112 | fun f (x: Int31.int) = x + x | |
113 | fun f (x: Int32.int) = x + x | |
114 | fun f (x: Int64.int) = x + x | |
115 | fun f (x: Word.word) = x + x | |
116 | fun f (x: LargeWord.word) = x + x | |
117 | fun f (x: SysWord.word) = x + x | |
118 | fun f (x: Word2.word) = x + x | |
119 | fun f (x: Word3.word) = x + x | |
120 | fun f (x: Word4.word) = x + x | |
121 | fun f (x: Word5.word) = x + x | |
122 | fun f (x: Word6.word) = x + x | |
123 | fun f (x: Word7.word) = x + x | |
124 | fun f (x: Word8.word) = x + x | |
125 | fun f (x: Word9.word) = x + x | |
126 | fun f (x: Word10.word) = x + x | |
127 | fun f (x: Word11.word) = x + x | |
128 | fun f (x: Word12.word) = x + x | |
129 | fun f (x: Word13.word) = x + x | |
130 | fun f (x: Word14.word) = x + x | |
131 | fun f (x: Word15.word) = x + x | |
132 | fun f (x: Word16.word) = x + x | |
133 | fun f (x: Word17.word) = x + x | |
134 | fun f (x: Word18.word) = x + x | |
135 | fun f (x: Word19.word) = x + x | |
136 | fun f (x: Word20.word) = x + x | |
137 | fun f (x: Word21.word) = x + x | |
138 | fun f (x: Word22.word) = x + x | |
139 | fun f (x: Word23.word) = x + x | |
140 | fun f (x: Word24.word) = x + x | |
141 | fun f (x: Word25.word) = x + x | |
142 | fun f (x: Word26.word) = x + x | |
143 | fun f (x: Word27.word) = x + x | |
144 | fun f (x: Word28.word) = x + x | |
145 | fun f (x: Word29.word) = x + x | |
146 | fun f (x: Word30.word) = x + x | |
147 | fun f (x: Word31.word) = x + x | |
148 | fun f (x: Word32.word) = x + x | |
149 | fun f (x: Word64.word) = x + x | |
150 | fun f (x: Real.real) = x + x | |
151 | fun f (x: Real32.real) = x + x | |
152 | fun f (x: Real64.real) = x + x | |
153 | fun f (x: LargeReal.real) = x + x | |
154 | fun f (x: Int.int) = x - x | |
155 | fun f (x: IntInf.int) = x - x | |
156 | fun f (x: LargeInt.int) = x - x | |
157 | fun f (x: FixedInt.int) = x - x | |
158 | fun f (x: Position.int) = x - x | |
159 | fun f (x: Int2.int) = x - x | |
160 | fun f (x: Int3.int) = x - x | |
161 | fun f (x: Int4.int) = x - x | |
162 | fun f (x: Int5.int) = x - x | |
163 | fun f (x: Int6.int) = x - x | |
164 | fun f (x: Int7.int) = x - x | |
165 | fun f (x: Int8.int) = x - x | |
166 | fun f (x: Int9.int) = x - x | |
167 | fun f (x: Int10.int) = x - x | |
168 | fun f (x: Int11.int) = x - x | |
169 | fun f (x: Int12.int) = x - x | |
170 | fun f (x: Int13.int) = x - x | |
171 | fun f (x: Int14.int) = x - x | |
172 | fun f (x: Int15.int) = x - x | |
173 | fun f (x: Int16.int) = x - x | |
174 | fun f (x: Int17.int) = x - x | |
175 | fun f (x: Int18.int) = x - x | |
176 | fun f (x: Int19.int) = x - x | |
177 | fun f (x: Int20.int) = x - x | |
178 | fun f (x: Int21.int) = x - x | |
179 | fun f (x: Int22.int) = x - x | |
180 | fun f (x: Int23.int) = x - x | |
181 | fun f (x: Int24.int) = x - x | |
182 | fun f (x: Int25.int) = x - x | |
183 | fun f (x: Int26.int) = x - x | |
184 | fun f (x: Int27.int) = x - x | |
185 | fun f (x: Int28.int) = x - x | |
186 | fun f (x: Int29.int) = x - x | |
187 | fun f (x: Int30.int) = x - x | |
188 | fun f (x: Int31.int) = x - x | |
189 | fun f (x: Int32.int) = x - x | |
190 | fun f (x: Int64.int) = x - x | |
191 | fun f (x: Word.word) = x - x | |
192 | fun f (x: LargeWord.word) = x - x | |
193 | fun f (x: SysWord.word) = x - x | |
194 | fun f (x: Word2.word) = x - x | |
195 | fun f (x: Word3.word) = x - x | |
196 | fun f (x: Word4.word) = x - x | |
197 | fun f (x: Word5.word) = x - x | |
198 | fun f (x: Word6.word) = x - x | |
199 | fun f (x: Word7.word) = x - x | |
200 | fun f (x: Word8.word) = x - x | |
201 | fun f (x: Word9.word) = x - x | |
202 | fun f (x: Word10.word) = x - x | |
203 | fun f (x: Word11.word) = x - x | |
204 | fun f (x: Word12.word) = x - x | |
205 | fun f (x: Word13.word) = x - x | |
206 | fun f (x: Word14.word) = x - x | |
207 | fun f (x: Word15.word) = x - x | |
208 | fun f (x: Word16.word) = x - x | |
209 | fun f (x: Word17.word) = x - x | |
210 | fun f (x: Word18.word) = x - x | |
211 | fun f (x: Word19.word) = x - x | |
212 | fun f (x: Word20.word) = x - x | |
213 | fun f (x: Word21.word) = x - x | |
214 | fun f (x: Word22.word) = x - x | |
215 | fun f (x: Word23.word) = x - x | |
216 | fun f (x: Word24.word) = x - x | |
217 | fun f (x: Word25.word) = x - x | |
218 | fun f (x: Word26.word) = x - x | |
219 | fun f (x: Word27.word) = x - x | |
220 | fun f (x: Word28.word) = x - x | |
221 | fun f (x: Word29.word) = x - x | |
222 | fun f (x: Word30.word) = x - x | |
223 | fun f (x: Word31.word) = x - x | |
224 | fun f (x: Word32.word) = x - x | |
225 | fun f (x: Word64.word) = x - x | |
226 | fun f (x: Real.real) = x - x | |
227 | fun f (x: Real32.real) = x - x | |
228 | fun f (x: Real64.real) = x - x | |
229 | fun f (x: LargeReal.real) = x - x | |
230 | fun f (x: Int.int) = x * x | |
231 | fun f (x: IntInf.int) = x * x | |
232 | fun f (x: LargeInt.int) = x * x | |
233 | fun f (x: FixedInt.int) = x * x | |
234 | fun f (x: Position.int) = x * x | |
235 | fun f (x: Int2.int) = x * x | |
236 | fun f (x: Int3.int) = x * x | |
237 | fun f (x: Int4.int) = x * x | |
238 | fun f (x: Int5.int) = x * x | |
239 | fun f (x: Int6.int) = x * x | |
240 | fun f (x: Int7.int) = x * x | |
241 | fun f (x: Int8.int) = x * x | |
242 | fun f (x: Int9.int) = x * x | |
243 | fun f (x: Int10.int) = x * x | |
244 | fun f (x: Int11.int) = x * x | |
245 | fun f (x: Int12.int) = x * x | |
246 | fun f (x: Int13.int) = x * x | |
247 | fun f (x: Int14.int) = x * x | |
248 | fun f (x: Int15.int) = x * x | |
249 | fun f (x: Int16.int) = x * x | |
250 | fun f (x: Int17.int) = x * x | |
251 | fun f (x: Int18.int) = x * x | |
252 | fun f (x: Int19.int) = x * x | |
253 | fun f (x: Int20.int) = x * x | |
254 | fun f (x: Int21.int) = x * x | |
255 | fun f (x: Int22.int) = x * x | |
256 | fun f (x: Int23.int) = x * x | |
257 | fun f (x: Int24.int) = x * x | |
258 | fun f (x: Int25.int) = x * x | |
259 | fun f (x: Int26.int) = x * x | |
260 | fun f (x: Int27.int) = x * x | |
261 | fun f (x: Int28.int) = x * x | |
262 | fun f (x: Int29.int) = x * x | |
263 | fun f (x: Int30.int) = x * x | |
264 | fun f (x: Int31.int) = x * x | |
265 | fun f (x: Int32.int) = x * x | |
266 | fun f (x: Int64.int) = x * x | |
267 | fun f (x: Word.word) = x * x | |
268 | fun f (x: LargeWord.word) = x * x | |
269 | fun f (x: SysWord.word) = x * x | |
270 | fun f (x: Word2.word) = x * x | |
271 | fun f (x: Word3.word) = x * x | |
272 | fun f (x: Word4.word) = x * x | |
273 | fun f (x: Word5.word) = x * x | |
274 | fun f (x: Word6.word) = x * x | |
275 | fun f (x: Word7.word) = x * x | |
276 | fun f (x: Word8.word) = x * x | |
277 | fun f (x: Word9.word) = x * x | |
278 | fun f (x: Word10.word) = x * x | |
279 | fun f (x: Word11.word) = x * x | |
280 | fun f (x: Word12.word) = x * x | |
281 | fun f (x: Word13.word) = x * x | |
282 | fun f (x: Word14.word) = x * x | |
283 | fun f (x: Word15.word) = x * x | |
284 | fun f (x: Word16.word) = x * x | |
285 | fun f (x: Word17.word) = x * x | |
286 | fun f (x: Word18.word) = x * x | |
287 | fun f (x: Word19.word) = x * x | |
288 | fun f (x: Word20.word) = x * x | |
289 | fun f (x: Word21.word) = x * x | |
290 | fun f (x: Word22.word) = x * x | |
291 | fun f (x: Word23.word) = x * x | |
292 | fun f (x: Word24.word) = x * x | |
293 | fun f (x: Word25.word) = x * x | |
294 | fun f (x: Word26.word) = x * x | |
295 | fun f (x: Word27.word) = x * x | |
296 | fun f (x: Word28.word) = x * x | |
297 | fun f (x: Word29.word) = x * x | |
298 | fun f (x: Word30.word) = x * x | |
299 | fun f (x: Word31.word) = x * x | |
300 | fun f (x: Word32.word) = x * x | |
301 | fun f (x: Word64.word) = x * x | |
302 | fun f (x: Real.real) = x * x | |
303 | fun f (x: Real32.real) = x * x | |
304 | fun f (x: Real64.real) = x * x | |
305 | fun f (x: LargeReal.real) = x * x | |
306 | fun f (x: Real.real) = x / x | |
307 | fun f (x: Real32.real) = x / x | |
308 | fun f (x: Real64.real) = x / x | |
309 | fun f (x: LargeReal.real) = x / x | |
310 | fun f (x: Int.int) = x div x | |
311 | fun f (x: IntInf.int) = x div x | |
312 | fun f (x: LargeInt.int) = x div x | |
313 | fun f (x: FixedInt.int) = x div x | |
314 | fun f (x: Position.int) = x div x | |
315 | fun f (x: Int2.int) = x div x | |
316 | fun f (x: Int3.int) = x div x | |
317 | fun f (x: Int4.int) = x div x | |
318 | fun f (x: Int5.int) = x div x | |
319 | fun f (x: Int6.int) = x div x | |
320 | fun f (x: Int7.int) = x div x | |
321 | fun f (x: Int8.int) = x div x | |
322 | fun f (x: Int9.int) = x div x | |
323 | fun f (x: Int10.int) = x div x | |
324 | fun f (x: Int11.int) = x div x | |
325 | fun f (x: Int12.int) = x div x | |
326 | fun f (x: Int13.int) = x div x | |
327 | fun f (x: Int14.int) = x div x | |
328 | fun f (x: Int15.int) = x div x | |
329 | fun f (x: Int16.int) = x div x | |
330 | fun f (x: Int17.int) = x div x | |
331 | fun f (x: Int18.int) = x div x | |
332 | fun f (x: Int19.int) = x div x | |
333 | fun f (x: Int20.int) = x div x | |
334 | fun f (x: Int21.int) = x div x | |
335 | fun f (x: Int22.int) = x div x | |
336 | fun f (x: Int23.int) = x div x | |
337 | fun f (x: Int24.int) = x div x | |
338 | fun f (x: Int25.int) = x div x | |
339 | fun f (x: Int26.int) = x div x | |
340 | fun f (x: Int27.int) = x div x | |
341 | fun f (x: Int28.int) = x div x | |
342 | fun f (x: Int29.int) = x div x | |
343 | fun f (x: Int30.int) = x div x | |
344 | fun f (x: Int31.int) = x div x | |
345 | fun f (x: Int32.int) = x div x | |
346 | fun f (x: Int64.int) = x div x | |
347 | fun f (x: Word.word) = x div x | |
348 | fun f (x: LargeWord.word) = x div x | |
349 | fun f (x: SysWord.word) = x div x | |
350 | fun f (x: Word2.word) = x div x | |
351 | fun f (x: Word3.word) = x div x | |
352 | fun f (x: Word4.word) = x div x | |
353 | fun f (x: Word5.word) = x div x | |
354 | fun f (x: Word6.word) = x div x | |
355 | fun f (x: Word7.word) = x div x | |
356 | fun f (x: Word8.word) = x div x | |
357 | fun f (x: Word9.word) = x div x | |
358 | fun f (x: Word10.word) = x div x | |
359 | fun f (x: Word11.word) = x div x | |
360 | fun f (x: Word12.word) = x div x | |
361 | fun f (x: Word13.word) = x div x | |
362 | fun f (x: Word14.word) = x div x | |
363 | fun f (x: Word15.word) = x div x | |
364 | fun f (x: Word16.word) = x div x | |
365 | fun f (x: Word17.word) = x div x | |
366 | fun f (x: Word18.word) = x div x | |
367 | fun f (x: Word19.word) = x div x | |
368 | fun f (x: Word20.word) = x div x | |
369 | fun f (x: Word21.word) = x div x | |
370 | fun f (x: Word22.word) = x div x | |
371 | fun f (x: Word23.word) = x div x | |
372 | fun f (x: Word24.word) = x div x | |
373 | fun f (x: Word25.word) = x div x | |
374 | fun f (x: Word26.word) = x div x | |
375 | fun f (x: Word27.word) = x div x | |
376 | fun f (x: Word28.word) = x div x | |
377 | fun f (x: Word29.word) = x div x | |
378 | fun f (x: Word30.word) = x div x | |
379 | fun f (x: Word31.word) = x div x | |
380 | fun f (x: Word32.word) = x div x | |
381 | fun f (x: Word64.word) = x div x | |
382 | fun f (x: Int.int) = x mod x | |
383 | fun f (x: IntInf.int) = x mod x | |
384 | fun f (x: LargeInt.int) = x mod x | |
385 | fun f (x: FixedInt.int) = x mod x | |
386 | fun f (x: Position.int) = x mod x | |
387 | fun f (x: Int2.int) = x mod x | |
388 | fun f (x: Int3.int) = x mod x | |
389 | fun f (x: Int4.int) = x mod x | |
390 | fun f (x: Int5.int) = x mod x | |
391 | fun f (x: Int6.int) = x mod x | |
392 | fun f (x: Int7.int) = x mod x | |
393 | fun f (x: Int8.int) = x mod x | |
394 | fun f (x: Int9.int) = x mod x | |
395 | fun f (x: Int10.int) = x mod x | |
396 | fun f (x: Int11.int) = x mod x | |
397 | fun f (x: Int12.int) = x mod x | |
398 | fun f (x: Int13.int) = x mod x | |
399 | fun f (x: Int14.int) = x mod x | |
400 | fun f (x: Int15.int) = x mod x | |
401 | fun f (x: Int16.int) = x mod x | |
402 | fun f (x: Int17.int) = x mod x | |
403 | fun f (x: Int18.int) = x mod x | |
404 | fun f (x: Int19.int) = x mod x | |
405 | fun f (x: Int20.int) = x mod x | |
406 | fun f (x: Int21.int) = x mod x | |
407 | fun f (x: Int22.int) = x mod x | |
408 | fun f (x: Int23.int) = x mod x | |
409 | fun f (x: Int24.int) = x mod x | |
410 | fun f (x: Int25.int) = x mod x | |
411 | fun f (x: Int26.int) = x mod x | |
412 | fun f (x: Int27.int) = x mod x | |
413 | fun f (x: Int28.int) = x mod x | |
414 | fun f (x: Int29.int) = x mod x | |
415 | fun f (x: Int30.int) = x mod x | |
416 | fun f (x: Int31.int) = x mod x | |
417 | fun f (x: Int32.int) = x mod x | |
418 | fun f (x: Int64.int) = x mod x | |
419 | fun f (x: Word.word) = x mod x | |
420 | fun f (x: LargeWord.word) = x mod x | |
421 | fun f (x: SysWord.word) = x mod x | |
422 | fun f (x: Word2.word) = x mod x | |
423 | fun f (x: Word3.word) = x mod x | |
424 | fun f (x: Word4.word) = x mod x | |
425 | fun f (x: Word5.word) = x mod x | |
426 | fun f (x: Word6.word) = x mod x | |
427 | fun f (x: Word7.word) = x mod x | |
428 | fun f (x: Word8.word) = x mod x | |
429 | fun f (x: Word9.word) = x mod x | |
430 | fun f (x: Word10.word) = x mod x | |
431 | fun f (x: Word11.word) = x mod x | |
432 | fun f (x: Word12.word) = x mod x | |
433 | fun f (x: Word13.word) = x mod x | |
434 | fun f (x: Word14.word) = x mod x | |
435 | fun f (x: Word15.word) = x mod x | |
436 | fun f (x: Word16.word) = x mod x | |
437 | fun f (x: Word17.word) = x mod x | |
438 | fun f (x: Word18.word) = x mod x | |
439 | fun f (x: Word19.word) = x mod x | |
440 | fun f (x: Word20.word) = x mod x | |
441 | fun f (x: Word21.word) = x mod x | |
442 | fun f (x: Word22.word) = x mod x | |
443 | fun f (x: Word23.word) = x mod x | |
444 | fun f (x: Word24.word) = x mod x | |
445 | fun f (x: Word25.word) = x mod x | |
446 | fun f (x: Word26.word) = x mod x | |
447 | fun f (x: Word27.word) = x mod x | |
448 | fun f (x: Word28.word) = x mod x | |
449 | fun f (x: Word29.word) = x mod x | |
450 | fun f (x: Word30.word) = x mod x | |
451 | fun f (x: Word31.word) = x mod x | |
452 | fun f (x: Word32.word) = x mod x | |
453 | fun f (x: Word64.word) = x mod x | |
454 | fun f (x: Int.int) = abs x | |
455 | fun f (x: IntInf.int) = abs x | |
456 | fun f (x: LargeInt.int) = abs x | |
457 | fun f (x: FixedInt.int) = abs x | |
458 | fun f (x: Position.int) = abs x | |
459 | fun f (x: Int2.int) = abs x | |
460 | fun f (x: Int3.int) = abs x | |
461 | fun f (x: Int4.int) = abs x | |
462 | fun f (x: Int5.int) = abs x | |
463 | fun f (x: Int6.int) = abs x | |
464 | fun f (x: Int7.int) = abs x | |
465 | fun f (x: Int8.int) = abs x | |
466 | fun f (x: Int9.int) = abs x | |
467 | fun f (x: Int10.int) = abs x | |
468 | fun f (x: Int11.int) = abs x | |
469 | fun f (x: Int12.int) = abs x | |
470 | fun f (x: Int13.int) = abs x | |
471 | fun f (x: Int14.int) = abs x | |
472 | fun f (x: Int15.int) = abs x | |
473 | fun f (x: Int16.int) = abs x | |
474 | fun f (x: Int17.int) = abs x | |
475 | fun f (x: Int18.int) = abs x | |
476 | fun f (x: Int19.int) = abs x | |
477 | fun f (x: Int20.int) = abs x | |
478 | fun f (x: Int21.int) = abs x | |
479 | fun f (x: Int22.int) = abs x | |
480 | fun f (x: Int23.int) = abs x | |
481 | fun f (x: Int24.int) = abs x | |
482 | fun f (x: Int25.int) = abs x | |
483 | fun f (x: Int26.int) = abs x | |
484 | fun f (x: Int27.int) = abs x | |
485 | fun f (x: Int28.int) = abs x | |
486 | fun f (x: Int29.int) = abs x | |
487 | fun f (x: Int30.int) = abs x | |
488 | fun f (x: Int31.int) = abs x | |
489 | fun f (x: Int32.int) = abs x | |
490 | fun f (x: Int64.int) = abs x | |
491 | fun f (x: Real.real) = abs x | |
492 | fun f (x: Real32.real) = abs x | |
493 | fun f (x: Real64.real) = abs x | |
494 | fun f (x: LargeReal.real) = abs x | |
495 | fun f (x: Int.int) = x < x | |
496 | fun f (x: IntInf.int) = x < x | |
497 | fun f (x: LargeInt.int) = x < x | |
498 | fun f (x: FixedInt.int) = x < x | |
499 | fun f (x: Position.int) = x < x | |
500 | fun f (x: Int2.int) = x < x | |
501 | fun f (x: Int3.int) = x < x | |
502 | fun f (x: Int4.int) = x < x | |
503 | fun f (x: Int5.int) = x < x | |
504 | fun f (x: Int6.int) = x < x | |
505 | fun f (x: Int7.int) = x < x | |
506 | fun f (x: Int8.int) = x < x | |
507 | fun f (x: Int9.int) = x < x | |
508 | fun f (x: Int10.int) = x < x | |
509 | fun f (x: Int11.int) = x < x | |
510 | fun f (x: Int12.int) = x < x | |
511 | fun f (x: Int13.int) = x < x | |
512 | fun f (x: Int14.int) = x < x | |
513 | fun f (x: Int15.int) = x < x | |
514 | fun f (x: Int16.int) = x < x | |
515 | fun f (x: Int17.int) = x < x | |
516 | fun f (x: Int18.int) = x < x | |
517 | fun f (x: Int19.int) = x < x | |
518 | fun f (x: Int20.int) = x < x | |
519 | fun f (x: Int21.int) = x < x | |
520 | fun f (x: Int22.int) = x < x | |
521 | fun f (x: Int23.int) = x < x | |
522 | fun f (x: Int24.int) = x < x | |
523 | fun f (x: Int25.int) = x < x | |
524 | fun f (x: Int26.int) = x < x | |
525 | fun f (x: Int27.int) = x < x | |
526 | fun f (x: Int28.int) = x < x | |
527 | fun f (x: Int29.int) = x < x | |
528 | fun f (x: Int30.int) = x < x | |
529 | fun f (x: Int31.int) = x < x | |
530 | fun f (x: Int32.int) = x < x | |
531 | fun f (x: Int64.int) = x < x | |
532 | fun f (x: Word.word) = x < x | |
533 | fun f (x: LargeWord.word) = x < x | |
534 | fun f (x: SysWord.word) = x < x | |
535 | fun f (x: Word2.word) = x < x | |
536 | fun f (x: Word3.word) = x < x | |
537 | fun f (x: Word4.word) = x < x | |
538 | fun f (x: Word5.word) = x < x | |
539 | fun f (x: Word6.word) = x < x | |
540 | fun f (x: Word7.word) = x < x | |
541 | fun f (x: Word8.word) = x < x | |
542 | fun f (x: Word9.word) = x < x | |
543 | fun f (x: Word10.word) = x < x | |
544 | fun f (x: Word11.word) = x < x | |
545 | fun f (x: Word12.word) = x < x | |
546 | fun f (x: Word13.word) = x < x | |
547 | fun f (x: Word14.word) = x < x | |
548 | fun f (x: Word15.word) = x < x | |
549 | fun f (x: Word16.word) = x < x | |
550 | fun f (x: Word17.word) = x < x | |
551 | fun f (x: Word18.word) = x < x | |
552 | fun f (x: Word19.word) = x < x | |
553 | fun f (x: Word20.word) = x < x | |
554 | fun f (x: Word21.word) = x < x | |
555 | fun f (x: Word22.word) = x < x | |
556 | fun f (x: Word23.word) = x < x | |
557 | fun f (x: Word24.word) = x < x | |
558 | fun f (x: Word25.word) = x < x | |
559 | fun f (x: Word26.word) = x < x | |
560 | fun f (x: Word27.word) = x < x | |
561 | fun f (x: Word28.word) = x < x | |
562 | fun f (x: Word29.word) = x < x | |
563 | fun f (x: Word30.word) = x < x | |
564 | fun f (x: Word31.word) = x < x | |
565 | fun f (x: Word32.word) = x < x | |
566 | fun f (x: Word64.word) = x < x | |
567 | fun f (x: Real.real) = x < x | |
568 | fun f (x: Real32.real) = x < x | |
569 | fun f (x: Real64.real) = x < x | |
570 | fun f (x: LargeReal.real) = x < x | |
571 | fun f (x: Char.char) = x < x | |
572 | fun f (x: String.string) = x < x | |
573 | fun f (x: Int.int) = x <= x | |
574 | fun f (x: IntInf.int) = x <= x | |
575 | fun f (x: LargeInt.int) = x <= x | |
576 | fun f (x: FixedInt.int) = x <= x | |
577 | fun f (x: Position.int) = x <= x | |
578 | fun f (x: Int2.int) = x <= x | |
579 | fun f (x: Int3.int) = x <= x | |
580 | fun f (x: Int4.int) = x <= x | |
581 | fun f (x: Int5.int) = x <= x | |
582 | fun f (x: Int6.int) = x <= x | |
583 | fun f (x: Int7.int) = x <= x | |
584 | fun f (x: Int8.int) = x <= x | |
585 | fun f (x: Int9.int) = x <= x | |
586 | fun f (x: Int10.int) = x <= x | |
587 | fun f (x: Int11.int) = x <= x | |
588 | fun f (x: Int12.int) = x <= x | |
589 | fun f (x: Int13.int) = x <= x | |
590 | fun f (x: Int14.int) = x <= x | |
591 | fun f (x: Int15.int) = x <= x | |
592 | fun f (x: Int16.int) = x <= x | |
593 | fun f (x: Int17.int) = x <= x | |
594 | fun f (x: Int18.int) = x <= x | |
595 | fun f (x: Int19.int) = x <= x | |
596 | fun f (x: Int20.int) = x <= x | |
597 | fun f (x: Int21.int) = x <= x | |
598 | fun f (x: Int22.int) = x <= x | |
599 | fun f (x: Int23.int) = x <= x | |
600 | fun f (x: Int24.int) = x <= x | |
601 | fun f (x: Int25.int) = x <= x | |
602 | fun f (x: Int26.int) = x <= x | |
603 | fun f (x: Int27.int) = x <= x | |
604 | fun f (x: Int28.int) = x <= x | |
605 | fun f (x: Int29.int) = x <= x | |
606 | fun f (x: Int30.int) = x <= x | |
607 | fun f (x: Int31.int) = x <= x | |
608 | fun f (x: Int32.int) = x <= x | |
609 | fun f (x: Int64.int) = x <= x | |
610 | fun f (x: Word.word) = x <= x | |
611 | fun f (x: LargeWord.word) = x <= x | |
612 | fun f (x: SysWord.word) = x <= x | |
613 | fun f (x: Word2.word) = x <= x | |
614 | fun f (x: Word3.word) = x <= x | |
615 | fun f (x: Word4.word) = x <= x | |
616 | fun f (x: Word5.word) = x <= x | |
617 | fun f (x: Word6.word) = x <= x | |
618 | fun f (x: Word7.word) = x <= x | |
619 | fun f (x: Word8.word) = x <= x | |
620 | fun f (x: Word9.word) = x <= x | |
621 | fun f (x: Word10.word) = x <= x | |
622 | fun f (x: Word11.word) = x <= x | |
623 | fun f (x: Word12.word) = x <= x | |
624 | fun f (x: Word13.word) = x <= x | |
625 | fun f (x: Word14.word) = x <= x | |
626 | fun f (x: Word15.word) = x <= x | |
627 | fun f (x: Word16.word) = x <= x | |
628 | fun f (x: Word17.word) = x <= x | |
629 | fun f (x: Word18.word) = x <= x | |
630 | fun f (x: Word19.word) = x <= x | |
631 | fun f (x: Word20.word) = x <= x | |
632 | fun f (x: Word21.word) = x <= x | |
633 | fun f (x: Word22.word) = x <= x | |
634 | fun f (x: Word23.word) = x <= x | |
635 | fun f (x: Word24.word) = x <= x | |
636 | fun f (x: Word25.word) = x <= x | |
637 | fun f (x: Word26.word) = x <= x | |
638 | fun f (x: Word27.word) = x <= x | |
639 | fun f (x: Word28.word) = x <= x | |
640 | fun f (x: Word29.word) = x <= x | |
641 | fun f (x: Word30.word) = x <= x | |
642 | fun f (x: Word31.word) = x <= x | |
643 | fun f (x: Word32.word) = x <= x | |
644 | fun f (x: Word64.word) = x <= x | |
645 | fun f (x: Real.real) = x <= x | |
646 | fun f (x: Real32.real) = x <= x | |
647 | fun f (x: Real64.real) = x <= x | |
648 | fun f (x: LargeReal.real) = x <= x | |
649 | fun f (x: Char.char) = x <= x | |
650 | fun f (x: String.string) = x <= x | |
651 | fun f (x: Int.int) = x > x | |
652 | fun f (x: IntInf.int) = x > x | |
653 | fun f (x: LargeInt.int) = x > x | |
654 | fun f (x: FixedInt.int) = x > x | |
655 | fun f (x: Position.int) = x > x | |
656 | fun f (x: Int2.int) = x > x | |
657 | fun f (x: Int3.int) = x > x | |
658 | fun f (x: Int4.int) = x > x | |
659 | fun f (x: Int5.int) = x > x | |
660 | fun f (x: Int6.int) = x > x | |
661 | fun f (x: Int7.int) = x > x | |
662 | fun f (x: Int8.int) = x > x | |
663 | fun f (x: Int9.int) = x > x | |
664 | fun f (x: Int10.int) = x > x | |
665 | fun f (x: Int11.int) = x > x | |
666 | fun f (x: Int12.int) = x > x | |
667 | fun f (x: Int13.int) = x > x | |
668 | fun f (x: Int14.int) = x > x | |
669 | fun f (x: Int15.int) = x > x | |
670 | fun f (x: Int16.int) = x > x | |
671 | fun f (x: Int17.int) = x > x | |
672 | fun f (x: Int18.int) = x > x | |
673 | fun f (x: Int19.int) = x > x | |
674 | fun f (x: Int20.int) = x > x | |
675 | fun f (x: Int21.int) = x > x | |
676 | fun f (x: Int22.int) = x > x | |
677 | fun f (x: Int23.int) = x > x | |
678 | fun f (x: Int24.int) = x > x | |
679 | fun f (x: Int25.int) = x > x | |
680 | fun f (x: Int26.int) = x > x | |
681 | fun f (x: Int27.int) = x > x | |
682 | fun f (x: Int28.int) = x > x | |
683 | fun f (x: Int29.int) = x > x | |
684 | fun f (x: Int30.int) = x > x | |
685 | fun f (x: Int31.int) = x > x | |
686 | fun f (x: Int32.int) = x > x | |
687 | fun f (x: Int64.int) = x > x | |
688 | fun f (x: Word.word) = x > x | |
689 | fun f (x: LargeWord.word) = x > x | |
690 | fun f (x: SysWord.word) = x > x | |
691 | fun f (x: Word2.word) = x > x | |
692 | fun f (x: Word3.word) = x > x | |
693 | fun f (x: Word4.word) = x > x | |
694 | fun f (x: Word5.word) = x > x | |
695 | fun f (x: Word6.word) = x > x | |
696 | fun f (x: Word7.word) = x > x | |
697 | fun f (x: Word8.word) = x > x | |
698 | fun f (x: Word9.word) = x > x | |
699 | fun f (x: Word10.word) = x > x | |
700 | fun f (x: Word11.word) = x > x | |
701 | fun f (x: Word12.word) = x > x | |
702 | fun f (x: Word13.word) = x > x | |
703 | fun f (x: Word14.word) = x > x | |
704 | fun f (x: Word15.word) = x > x | |
705 | fun f (x: Word16.word) = x > x | |
706 | fun f (x: Word17.word) = x > x | |
707 | fun f (x: Word18.word) = x > x | |
708 | fun f (x: Word19.word) = x > x | |
709 | fun f (x: Word20.word) = x > x | |
710 | fun f (x: Word21.word) = x > x | |
711 | fun f (x: Word22.word) = x > x | |
712 | fun f (x: Word23.word) = x > x | |
713 | fun f (x: Word24.word) = x > x | |
714 | fun f (x: Word25.word) = x > x | |
715 | fun f (x: Word26.word) = x > x | |
716 | fun f (x: Word27.word) = x > x | |
717 | fun f (x: Word28.word) = x > x | |
718 | fun f (x: Word29.word) = x > x | |
719 | fun f (x: Word30.word) = x > x | |
720 | fun f (x: Word31.word) = x > x | |
721 | fun f (x: Word32.word) = x > x | |
722 | fun f (x: Word64.word) = x > x | |
723 | fun f (x: Real.real) = x > x | |
724 | fun f (x: Real32.real) = x > x | |
725 | fun f (x: Real64.real) = x > x | |
726 | fun f (x: LargeReal.real) = x > x | |
727 | fun f (x: Char.char) = x > x | |
728 | fun f (x: String.string) = x > x | |
729 | fun f (x: Int.int) = x >= x | |
730 | fun f (x: IntInf.int) = x >= x | |
731 | fun f (x: LargeInt.int) = x >= x | |
732 | fun f (x: FixedInt.int) = x >= x | |
733 | fun f (x: Position.int) = x >= x | |
734 | fun f (x: Int2.int) = x >= x | |
735 | fun f (x: Int3.int) = x >= x | |
736 | fun f (x: Int4.int) = x >= x | |
737 | fun f (x: Int5.int) = x >= x | |
738 | fun f (x: Int6.int) = x >= x | |
739 | fun f (x: Int7.int) = x >= x | |
740 | fun f (x: Int8.int) = x >= x | |
741 | fun f (x: Int9.int) = x >= x | |
742 | fun f (x: Int10.int) = x >= x | |
743 | fun f (x: Int11.int) = x >= x | |
744 | fun f (x: Int12.int) = x >= x | |
745 | fun f (x: Int13.int) = x >= x | |
746 | fun f (x: Int14.int) = x >= x | |
747 | fun f (x: Int15.int) = x >= x | |
748 | fun f (x: Int16.int) = x >= x | |
749 | fun f (x: Int17.int) = x >= x | |
750 | fun f (x: Int18.int) = x >= x | |
751 | fun f (x: Int19.int) = x >= x | |
752 | fun f (x: Int20.int) = x >= x | |
753 | fun f (x: Int21.int) = x >= x | |
754 | fun f (x: Int22.int) = x >= x | |
755 | fun f (x: Int23.int) = x >= x | |
756 | fun f (x: Int24.int) = x >= x | |
757 | fun f (x: Int25.int) = x >= x | |
758 | fun f (x: Int26.int) = x >= x | |
759 | fun f (x: Int27.int) = x >= x | |
760 | fun f (x: Int28.int) = x >= x | |
761 | fun f (x: Int29.int) = x >= x | |
762 | fun f (x: Int30.int) = x >= x | |
763 | fun f (x: Int31.int) = x >= x | |
764 | fun f (x: Int32.int) = x >= x | |
765 | fun f (x: Int64.int) = x >= x | |
766 | fun f (x: Word.word) = x >= x | |
767 | fun f (x: LargeWord.word) = x >= x | |
768 | fun f (x: SysWord.word) = x >= x | |
769 | fun f (x: Word2.word) = x >= x | |
770 | fun f (x: Word3.word) = x >= x | |
771 | fun f (x: Word4.word) = x >= x | |
772 | fun f (x: Word5.word) = x >= x | |
773 | fun f (x: Word6.word) = x >= x | |
774 | fun f (x: Word7.word) = x >= x | |
775 | fun f (x: Word8.word) = x >= x | |
776 | fun f (x: Word9.word) = x >= x | |
777 | fun f (x: Word10.word) = x >= x | |
778 | fun f (x: Word11.word) = x >= x | |
779 | fun f (x: Word12.word) = x >= x | |
780 | fun f (x: Word13.word) = x >= x | |
781 | fun f (x: Word14.word) = x >= x | |
782 | fun f (x: Word15.word) = x >= x | |
783 | fun f (x: Word16.word) = x >= x | |
784 | fun f (x: Word17.word) = x >= x | |
785 | fun f (x: Word18.word) = x >= x | |
786 | fun f (x: Word19.word) = x >= x | |
787 | fun f (x: Word20.word) = x >= x | |
788 | fun f (x: Word21.word) = x >= x | |
789 | fun f (x: Word22.word) = x >= x | |
790 | fun f (x: Word23.word) = x >= x | |
791 | fun f (x: Word24.word) = x >= x | |
792 | fun f (x: Word25.word) = x >= x | |
793 | fun f (x: Word26.word) = x >= x | |
794 | fun f (x: Word27.word) = x >= x | |
795 | fun f (x: Word28.word) = x >= x | |
796 | fun f (x: Word29.word) = x >= x | |
797 | fun f (x: Word30.word) = x >= x | |
798 | fun f (x: Word31.word) = x >= x | |
799 | fun f (x: Word32.word) = x >= x | |
800 | fun f (x: Word64.word) = x >= x | |
801 | fun f (x: Real.real) = x >= x | |
802 | fun f (x: Real32.real) = x >= x | |
803 | fun f (x: Real64.real) = x >= x | |
804 | fun f (x: LargeReal.real) = x >= x | |
805 | fun f (x: Char.char) = x >= x | |
806 | fun f (x: String.string) = x >= x |