--- a/src/Pure/NJ093.ML Mon Nov 18 16:26:08 1996 +0100
+++ b/src/Pure/NJ093.ML Mon Nov 18 16:26:43 1996 +0100
@@ -6,9 +6,18 @@
Compatibility file for Standard ML of New Jersey version 0.93.
*)
+
+(*** Basis Library emulation ***)
+
+structure Int =
+ struct
+ fun max (x, y) = if x < y then y else x : int;
+ fun min (x, y) = if x < y then x else y : int;
+ end;
+
+
(*** Poly/ML emulation ***)
-
(*To exit the system with an exit code -- an alternative to ^D *)
val exit = System.Unsafe.CInterface.exit;
fun quit () = exit 0;