Module Terms.UnionFind

type !'a t = 'a t

type ('a, 'b) relation = ('a, 'b) Relation.t

type !'a0 node_through_relation =

1. | NodeThoughRelation : 'b t * ('a, 'b) relation -> 'a node_through_relation

val find_representative : 'a t -> 'a node_through_relation

val check_related : 'a t -> 'b t -> ('a, 'b) relation option

val union : 'a t -> 'b t -> ('a, 'b) relation -> (unit, ('a, 'b) relation) Stdlib.result