From d72bbae370587a9186e41d13222a65c808ba856a Mon Sep 17 00:00:00 2001
From: Paul Iannetta <paul.iannetta@ens-lyon.fr>
Date: Tue, 21 Jul 2015 14:52:20 +0200
Subject: [PATCH] Modifications to the standard library.
---
generator/stdlib_ml/stdlib.mli | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/generator/stdlib_ml/stdlib.mli b/generator/stdlib_ml/stdlib.mli
index a899e40..232b07f 100644
--- a/generator/stdlib_ml/stdlib.mli
+++ b/generator/stdlib_ml/stdlib.mli
@@ -8,16 +8,16 @@ val div : 'a -> 'a -> 'a
val ( / ) : 'a -> 'a -> 'a
val eq : 'a -> 'a -> bool
-val ( === ) : 'a -> 'a -> 'a
+val ( === ) : 'a -> 'a -> bool
val le : 'a -> 'a -> bool
-val ( < ) : 'a -> 'a -> 'a
+val ( < ) : 'a -> 'a -> bool
val ge : 'a -> 'a -> bool
-val ( > ) : 'a -> 'a -> 'a
+val ( > ) : 'a -> 'a -> bool
val leq : 'a -> 'a -> bool
-val ( <= ) : 'a -> 'a -> 'a
+val ( <= ) : 'a -> 'a -> bool
val geq : 'a -> 'a -> bool
-val ( >= ) : 'a -> 'a -> 'a
+val ( >= ) : 'a -> 'a -> bool
val print : 'a -> unit
--
GitLab