Parameter GenericRelationalValued.Elt

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

val to_int : 'a 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 -> 'a t -> unit

Pretty printer