Module Terms.UnionFindSource

Sourcetype !'a t = 'a t
Sourcetype ('a, 'b) relation = ('a, 'b) Relation.t
Sourcetype !'a0 node_through_relation =
  1. | NodeThoughRelation : 'b t * ('a, 'b) relation -> 'a node_through_relation
Sourceval find_representative : 'a t -> 'a node_through_relation
Sourceval union : 'a t -> 'b t -> ('a, 'b) relation -> (unit, ('a, 'b) relation) result