Rename partition → UnionFind for consistency across the various names that opam and dune assign to this library
This commit is contained in:
parent
3fc434d0d7
commit
bb48af8325
4
.gitignore
vendored
Normal file
4
.gitignore
vendored
Normal file
|
@ -0,0 +1,4 @@
|
||||||
|
*.cmi
|
||||||
|
*.cmx
|
||||||
|
*.o
|
||||||
|
*.opt
|
|
@ -6,7 +6,7 @@ homepage : "https://gitlab.com/rinderknecht/UnionFind"
|
||||||
bug-reports : "https://gitlab.com/rinderknecht/UnionFind/issues"
|
bug-reports : "https://gitlab.com/rinderknecht/UnionFind/issues"
|
||||||
dev-repo : "git+https://gitlab.com/rinderknecht/UnionFind.git"
|
dev-repo : "git+https://gitlab.com/rinderknecht/UnionFind.git"
|
||||||
license : "MIT"
|
license : "MIT"
|
||||||
|
synopsis : "A polymorphic implementation of the Union-Find data structure in OCaml"
|
||||||
depends : [ "dune" ]
|
depends : [ "dune" ]
|
||||||
|
|
||||||
build : [
|
build : [
|
4
dune
4
dune
|
@ -1,8 +1,8 @@
|
||||||
(library
|
(library
|
||||||
(name UnionFind)
|
(name UnionFind)
|
||||||
(public_name partition)
|
(public_name UnionFind)
|
||||||
(wrapped false)
|
(wrapped false)
|
||||||
(modules Partition0 Partition1 Partition2 Partition3 Partition)
|
(modules Partition0 Partition1 Partition2 Partition3 Partition UnionFind)
|
||||||
(modules_without_implementation Partition))
|
(modules_without_implementation Partition))
|
||||||
|
|
||||||
(test
|
(test
|
||||||
|
|
6
unionFind.ml
Normal file
6
unionFind.ml
Normal file
|
@ -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
|
Loading…
Reference in New Issue
Block a user