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