pub fn normalize_ordering_equivalence_classes(
    oeq_classes: &[OrderingEquivalentClass],
    eq_properties: &EquivalenceProperties
) -> Vec<OrderingEquivalentClass>
Expand description

This function “normalizes” its argument oeq_classes by making sure that it only refers to representative (i.e. head) entries in the given equivlance properties (eq_properties).