Parameters.SIMPLE_UF_NODE
Simple union-find node, without values
module Node : SIMPLE_GENERIC_TERM
module Relation : SIMPLE_GENERIC_GROUP
type 'a parent =
| Node : 'b Node.t * ('a, 'b) Relation.t -> 'a parent
| Root of root
The type of parents. A term either points to: