From e20e964083a048ad4cbb88cc1af3790694f51dfa Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 1 Nov 2009 10:20:20 -0500
Subject: Bidding interface

---
 lib/ur/string.urs | 2 ++
 1 file changed, 2 insertions(+)

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

diff --git a/lib/ur/string.urs b/lib/ur/string.urs
index 8fd434b4..1b584c08 100644
--- a/lib/ur/string.urs
+++ b/lib/ur/string.urs
@@ -1,5 +1,7 @@
 type t = string
 
+val str : char -> t
+
 val length : t -> int
 
 val append : t -> t -> t
-- 
cgit v1.2.3