pub fn normalize_ordering_equivalence_classes(
oeq_classes: &[OrderingEquivalentClass],
eq_properties: &EquivalenceProperties
) -> Vec<OrderingEquivalentClass>Expand description
This function normalizes oeq_classes expressions according to eq_properties.
More explicitly, it makes sure that expressions in oeq_classes are head entries
in eq_properties, replacing any non-head entries with head entries if necessary.