diff --git a/generator/stdlib_ml/stdlib.mli b/generator/stdlib_ml/stdlib.mli index 883c174177cad43f9c76d0f9f9b800cb06ac856c..2e10c9103b018412d2fc5c4f13ef4f7dfab729d8 100644 --- a/generator/stdlib_ml/stdlib.mli +++ b/generator/stdlib_ml/stdlib.mli @@ -43,7 +43,8 @@ val int_of_float : float -> int val string_of_float : float -> string val string_of_int : int -> string -(*val ( === ) : 'a -> 'a -> bool*) +(* We use this to compare types that are not known by stdlib, like Native_error *) +val ( === ) : 'a -> 'a -> bool (*val ( <> ) : 'a -> 'a -> bool*) (*val ( < ) : 'a -> 'a -> bool val ( > ) : 'a -> 'a -> bool