summaryrefslogtreecommitdiff
path: root/src/union_find_fn.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/union_find_fn.sml')
-rw-r--r--src/union_find_fn.sml8
1 files changed, 7 insertions, 1 deletions
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)