Mercurial > urweb

diff src/prim.sig @ 479:ffa18975e661

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Broaden set of possible especializations
author Adam Chlipala <adamc@hcoop.net>
date Sat, 08 Nov 2008 14:42:52 -0500
parents ed4af33681d8
children 1901db85acb4
line wrap: on
line diff
--- a/src/prim.sig	Sat Nov 08 13:15:00 2008 -0500
+++ b/src/prim.sig	Sat Nov 08 14:42:52 2008 -0500
@@ -36,5 +36,6 @@
     val p_t_GCC : t Print.printer
 
     val equal : t * t -> bool
+    val compare : t * t -> order
 
 end