summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-09-07 10:13:02 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-09-07 10:13:02 -0400
commit79c2e18d5d237d48f0803bb874d72b4354ba9b25 (patch)
tree3766580321bca3f077b2115ec5cbcd30dd9312a4 /lib
parent700a48cc6e78f75166b6e322207a29981782c4e3 (diff)
intToString
Diffstat (limited to 'lib')
-rw-r--r--lib/basis.urs5
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 *)