diff options
Diffstat (limited to 'src/union_find_fn.sml')
| -rw-r--r-- | src/union_find_fn.sml | 8 |
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) |