diff --git a/generator/stdlib_ml/stdlib.mli b/generator/stdlib_ml/stdlib.mli
index a899e40b2df7f3ab0255c9b57f931aeb5221cbdc..232b07f6712faa25c3b93e35212fcb0665a5131c 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