|
|
1.1 ! root 1: (* Copyright 1989 by AT&T Bell Laboratories *) ! 2: structure Overloads = (* New Jersey Overloads *) ! 3: struct ! 4: local open Initial in ! 5: overload makestring : ('a -> string) ! 6: as Bool.makestring and Integer.makestring and Real.makestring ! 7: overload print : ('a -> unit) ! 8: as Bool.print and Integer.print and Real.print and String.print ! 9: overload ~ : ('a -> 'a) as Integer.~ and Real.~ ! 10: overload + : ('a * 'a -> 'a) as Integer.+ and Real.+ ! 11: overload - : ('a * 'a -> 'a) as Integer.- and Real.- ! 12: overload * : ('a * 'a -> 'a) as Integer.* and Real.* ! 13: overload < : ('a * 'a -> bool) as Integer.< and Real.< and String.< ! 14: overload > : ('a * 'a -> bool) as Integer.> and Real.> and String.> ! 15: overload <= : ('a * 'a -> bool) as Integer.<= and Real.<= and String.<= ! 16: overload >= : ('a * 'a -> bool) as Integer.>= and Real.>= and String.>= ! 17: overload abs : ('a -> 'a) as Integer.abs and Real.abs ! 18: ! 19: end (* local open Initial *) ! 20: end (* structure Overloads *)
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.