Parameters.UF_NODE
union-find node with values
module Value :
SIMPLE_GENERIC_VALUE with type ('a, 'b) relation = ('a, 'b) Relation.t
The type of root nodes, attached to each representative
type 'a parent =
| Node : 'b Node.t * ('a, 'b) Relation.t -> 'a parent
| Root of 'a root
The type of parents. A term either points to: