DisjointDomain.Congruence
Buckets defined by congruence.
type elt
Type of elements.
val cong : elt -> elt -> bool
Congruence relation on elements.