--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/json.urs	Thu Dec 02 11:10:57 2010 -0500
@@ -0,0 +1,13 @@
+class json
+
+val toJson : a ::: Type -> json a -> a -> string
+val fromJson : a ::: Type -> json a -> string -> a
+
+val mkJson : a ::: Type -> {ToJson : a -> string,
+                            FromJson : string -> a * string} -> json a
+
+val json_string : json string
+val json_int : json int
+val json_float : json float
+val json_bool : json bool
+val json_list : a ::: Type -> json a -> json (list a)