module Term_union_find: Union_find.S with type elem = term
Union-find over terms.
type
Type of elements in the union find.
type
Type for the union-find data structure.
val create : unit -> t
A new union-find data structure.
val equivalent : t -> elem -> elem -> bool
Are the two elements equivalent?
val union : t -> elem -> elem -> unit
union s x y merges the equivalence classes for
x and
y.
val representative : t -> elem -> elem
A representative for the class containing the element.
val is_representative : t -> elem -> bool
Is the element the representative for its class?
val members : t -> elem -> elem Bunch.t
members s x is the bunch of all elements in the class of
x.
Hosted by the
* web site.
*Other names and brands may be claimed as the property
of others.