Skip to content

simplify and improve type intersection algorithm a bit#41795

Merged
JeffBezanson merged 2 commits intomasterfrom jb/simpler_intersectionAug 26, 2021