Module type Parameters.NODE

Nodes stored in the union find. Nodes must inject into integers via NODE.to_int.

type t

The type of nodes

val equal : t -> t -> bool

Node equality

val to_int : t -> int

Returns a unique integer identifier associated with the given element (eg hash-consed tag). See PatriciaTree.HETEROGENEOUS_KEY.to_int

val pretty : Stdlib.Format.formatter -> t -> unit

Pretty printer