diff --git a/generator/stdlib_ml/stdlib.mli b/generator/stdlib_ml/stdlib.mli
index f82b4ec22a9a6aec054faa65781d2d3505e59942..c4b9780e08e6ab2e7cb18cf55621adc105a36bd1 100644
--- a/generator/stdlib_ml/stdlib.mli
+++ b/generator/stdlib_ml/stdlib.mli
@@ -43,12 +43,15 @@ val int_of_float : float -> int
 val string_of_float : float -> string
 val string_of_int : int -> string
 
+val ( === ) : 'a -> 'a -> bool
 val ( < ) : 'a -> 'a -> bool
 val ( > ) : 'a -> 'a -> bool
 val ( <= ) : 'a -> 'a -> bool 
 val ( >= ) : 'a -> 'a -> bool
 val compare : 'a -> 'a -> int
 
+val stuck : string -> 'a
+
 (* Structural equality, need to be careful with implementation *)
 val (=) : 'a -> 'a -> bool