Mercurial > urweb
diff lib/basis.urs @ 284:77a28e7430bf
intToString
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 07 Sep 2008 10:13:02 -0400 |
parents | c0e4ac23522d |
children | e89076c41c39 |
line wrap: on
line diff
--- a/lib/basis.urs Sun Sep 07 10:02:27 2008 -0400 +++ b/lib/basis.urs Sun Sep 07 10:13:02 2008 -0400 @@ -6,6 +6,8 @@ datatype bool = False | True +(*datatype option t = None | Some of t*) + (** Basic type classes *) @@ -21,6 +23,9 @@ val strcat : string -> string -> string +val intToString : int -> string + + (** SQL *)