ruff
67c77aa5 - rename union_or_intersection_elements_ordering to just type_ordering

Commit
26 days ago
rename union_or_intersection_elements_ordering to just type_ordering
Author
Committer
Parents
Loading