Mercurial > urweb

diff lib/ur/basis.urs @ 1128:e1cf925e2074

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Allow escaped backslashes in literals; conversion betwixt int and char
author Adam Chlipala <adamc@hcoop.net>
date Tue, 12 Jan 2010 16:09:13 -0500
parents 74f2eb3b0606
children 4f3a1aa3b66d
line wrap: on
line diff
--- a/lib/ur/basis.urs	Tue Jan 12 11:19:02 2010 -0500
+++ b/lib/ur/basis.urs	Tue Jan 12 16:09:13 2010 -0500
@@ -68,7 +68,8 @@
 val isxdigit : char -> bool
 val tolower : char -> char
 val toupper : char -> char
-
+val ord : char -> int
+val chr : int -> char
 
 (** String operations *)