summaryrefslogtreecommitdiff
path: root/lib/ur/char.urs
diff options
context:
space:
mode:
Diffstat (limited to 'lib/ur/char.urs')
-rw-r--r--lib/ur/char.urs3
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/ur/char.urs b/lib/ur/char.urs
index 02e55632..c185af92 100644
--- a/lib/ur/char.urs
+++ b/lib/ur/char.urs
@@ -14,3 +14,6 @@ val isUpper : t -> bool
val isXdigit : t -> bool
val toLower : t -> t
val toUpper : t -> t
+
+val toInt : t -> int
+val fromInt : int -> t