Mercurial > urweb

diff lib/basis.urs @ 289:0cc956a3216f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Parsing strings for floats and bools
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 11:41:04 -0400
parents 4260ad920c36
children df00701f2323
line wrap: on
line diff
--- a/lib/basis.urs	Sun Sep 07 11:33:13 2008 -0400
+++ b/lib/basis.urs	Sun Sep 07 11:41:04 2008 -0400
@@ -31,6 +31,8 @@
 val show_bool : show bool
 
 val stringToInt : string -> option int
+val stringToFloat : string -> option float
+val stringToBool : string -> option bool
 
 
 (** SQL *)