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