From a413fc1a42bf0fbee27c2f22cc8e9ca9b17b9edf Mon Sep 17 00:00:00 2001
From: Ziv Scully <ziv@mit.edu>
Date: Mon, 24 Nov 2014 20:41:24 -0500
Subject: Add interface to UnionFind.

---
 src/union_find_fn.sml | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'src/union_find_fn.sml')

diff --git a/src/union_find_fn.sml b/src/union_find_fn.sml
index 42b2d4d7..e6f8d9bf 100644
--- a/src/union_find_fn.sml
+++ b/src/union_find_fn.sml
@@ -1,4 +1,10 @@
-functor UnionFindFn(K : ORD_KEY) = struct
+functor UnionFindFn(K : ORD_KEY) :> sig
+    type unionFind
+    val empty : unionFind
+    val union : unionFind * K.ord_key * K.ord_key -> unionFind
+    val union' : (K.ord_key * K.ord_key) * unionFind -> unionFind
+    val classes : unionFind -> K.ord_key list list
+end = struct
 
 structure M = BinaryMapFn(K)
 structure S = BinarySetFn(K)
-- 
cgit v1.2.3