From b4fbebde89c6ed5eeae8653004417ac6000cdf07 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 8 Nov 2008 14:42:52 -0500
Subject: Broaden set of possible especializations

---
 src/order.sig | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/order.sig')

diff --git a/src/order.sig b/src/order.sig
index c648f78b..fcee69ea 100644
--- a/src/order.sig
+++ b/src/order.sig
@@ -31,5 +31,6 @@ signature ORDER = sig
     
     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
-- 
cgit v1.2.3