From 6835c1ae5a5215498e1e8e52f528bfef5bd16c3d Mon Sep 17 00:00:00 2001
From: Thomas Wood <thomas.wood09@imperial.ac.uk>
Date: Wed, 25 Nov 2015 12:53:37 +0000
Subject: [PATCH] Restore === and stuck to stdlib_ml

---
 generator/stdlib_ml/stdlib.mli | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/generator/stdlib_ml/stdlib.mli b/generator/stdlib_ml/stdlib.mli
index f82b4ec..c4b9780 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
 
-- 
GitLab