pub type UnionEqualities = Vec<(Id, Id, Symbol)>;
A vector of equalities based on enode ids. Each entry represents two enode ids that are equal and why.
pub struct UnionEqualities { /* private fields */ }