Parameter GenericRelational.Node

include Parameters.SIMPLE_GENERIC_ELT
type 'a t

The type of elements (nodes) in the union-find structure

val polyeq : 'a t -> 'b t -> ('a, 'b) PatriciaTree.cmp

polymorphic equality on elements

type 'a parent =
  1. | Node : 'b t * ('a, 'b) Relation.t -> 'a parent
  2. | Root
    (*

    The type of parents. A term either points to:

    • a representative via a relation
    • a root if it is a representative
    *)
val get_parent : 'a t -> 'a parent
val set_parent : 'a t -> 'a parent -> unit