List_utils.Relation
module X : Datatype_sig.COMPARISON
type 'a relation := ('a * 'a) list
val transitive_closure : X.t relation -> X.t relation
val transitive_closure_list : X.t list list -> X.t relation
Given list of equivalence classes, compute the transitive closure.