Module Unionfind.Make
Parameters
Signature
type elt
= S.elt
The type of elements in the partition
type set
= S.t
A set structure over elements
val create : unit -> t
Initialise an empty partition
val add : elt -> t -> unit
Add (in place) an element in the partition, or do nothing if the element is already in the partition.
val find : elt -> t -> elt
Find the canonical representative of an element. Raise
not_found
if the element isn't known yet.