Mercurial > urweb

diff src/order.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 8a70e2919e86
children
line wrap: on
line diff
--- a/src/order.sig	Sat Nov 08 13:15:00 2008 -0500
+++ b/src/order.sig	Sat Nov 08 14:42:52 2008 -0500
@@ -31,5 +31,6 @@
     
     val join : order * (unit -> order) -> order
     val joinL : ('a * 'b -> order) -> 'a list * 'b list -> order
-                                                       
+    val joinO : ('a * 'b -> order) -> 'a option * 'b option -> order
+
 end