[r2004-07-08 17:18:01 by cmiachon] adding min

Original author: cmiachon
Date: 2004-07-08 17:18:01+00:00

types/builtin.ml

@@ -314,3 +314,8 @@ unary_op_gen "flatten"
 
 register_fun "raise" any Types.empty
   (fun v -> raise (Value.CDuceExn v));;
+
+
+register_fun "min" Sequence.int int
+  (Value.query_min );;
+