Up
# Module Union_find = Union_find

### Signature

type
'a
t

`type 'a t`

is the type of objects, where each object is part of an
equivalence class that is associated with a single value of type `'a`

.

val
create : 'a -> 'a t

`create v`

returns a new object in its own equivalence class that has value `v`

.

val
get : 'a t -> 'a

`get t`

returns the value of the class of `t`

.

val
set : 'a t -> 'a -> unit

`set t v`

sets the value of the class of `t`

to `v`

.