From bb48af8325d59b066ffb2fd88dab2ab6c3e0c2ba Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Suzanne=20Dup=C3=A9ron?= <ligo@suzanne.soy>
Date: Mon, 6 Jan 2020 19:30:34 +0100
Subject: [PATCH] =?UTF-8?q?Rename=20partition=20=E2=86=92=20UnionFind=20fo?=
 =?UTF-8?q?r=20consistency=20across=20the=20various=20names=20that=20opam?=
 =?UTF-8?q?=20and=20dune=20assign=20to=20this=20library?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .gitignore                       | 4 ++++
 partition.opam => UnionFind.opam | 2 +-
 dune                             | 4 ++--
 unionFind.ml                     | 6 ++++++
 4 files changed, 13 insertions(+), 3 deletions(-)
 create mode 100644 .gitignore
 rename partition.opam => UnionFind.opam (88%)
 create mode 100644 unionFind.ml

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..f92bbe6
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,4 @@
+*.cmi
+*.cmx
+*.o
+*.opt
diff --git a/partition.opam b/UnionFind.opam
similarity index 88%
rename from partition.opam
rename to UnionFind.opam
index 58888bc..849641a 100644
--- a/partition.opam
+++ b/UnionFind.opam
@@ -6,7 +6,7 @@ homepage     : "https://gitlab.com/rinderknecht/UnionFind"
 bug-reports  : "https://gitlab.com/rinderknecht/UnionFind/issues"
 dev-repo     : "git+https://gitlab.com/rinderknecht/UnionFind.git"
 license      : "MIT"
-
+synopsis     : "A polymorphic implementation of the Union-Find data structure in OCaml"
 depends      : [ "dune" ]
 
 build        : [
diff --git a/dune b/dune
index 8fe8caa..13ad332 100644
--- a/dune
+++ b/dune
@@ -1,8 +1,8 @@
 (library
   (name UnionFind)
-  (public_name partition)
+  (public_name UnionFind)
   (wrapped false)
-  (modules Partition0 Partition1 Partition2 Partition3 Partition)
+  (modules Partition0 Partition1 Partition2 Partition3 Partition UnionFind)
   (modules_without_implementation Partition))
 
 (test
diff --git a/unionFind.ml b/unionFind.ml
new file mode 100644
index 0000000..822adb5
--- /dev/null
+++ b/unionFind.ml
@@ -0,0 +1,6 @@
+(* This module is the public interface and corresponds to public_name in dune *)
+module Partition = Partition
+module Partition0 = Partition0
+module Partition1 = Partition1
+module Partition2 = Partition2
+module Partition3 = Partition3