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