diff src/prim.sig @ 567:1901db85acb4

Start of JsComp
author Adam Chlipala <adamc@hcoop.net>
date Sat, 20 Dec 2008 14:19:21 -0500
parents ffa18975e661
children 395a5d450cc0
line wrap: on
line diff
--- a/src/prim.sig	Fri Dec 19 12:38:11 2008 -0500
+++ b/src/prim.sig	Sat Dec 20 14:19:21 2008 -0500
@@ -38,4 +38,6 @@
     val equal : t * t -> bool
     val compare : t * t -> order
 
+    val toString : t -> string
+
 end