1 files changed, 5 insertions, 0 deletions
diff --git a/lib/basis.urs b/lib/basis.urs
index b9f773c2..109ab31a 100644
--- a/lib/basis.urs
+++ b/lib/basis.urs
@@ -6,6 +6,8 @@ type unit = {}
 
 datatype bool = False | True
 
+(*datatype option t = None | Some of t*)
+
 
 (** Basic type classes *)
 
@@ -21,6 +23,9 @@ val eq_bool : eq bool
 
 val strcat : string -> string -> string
 
+val intToString : int -> string
+
+
 
 (** SQL *)