From d8801e05ef2f81f21eb27555b626ee2e52c3365f Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 26 May 2009 12:25:06 -0400
Subject: Chars and more string operations

---
 lib/ur/string.urs | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 lib/ur/string.urs

(limited to 'lib/ur/string.urs')

diff --git a/lib/ur/string.urs b/lib/ur/string.urs
new file mode 100644
index 00000000..524e002d
--- /dev/null
+++ b/lib/ur/string.urs
@@ -0,0 +1,4 @@
+type t = string
+
+val sub : t -> int -> char
+val suffix : t -> int -> string
-- 
cgit v1.2.3