PR #30705 use `IdSet` instead of `Set` in `subtypes`

use `IdSet` instead of `Set` in `subtypes` #30705

JeffBezanson merged 1 commit into master from jb/fastersubtypes

use `IdSet` instead of `Set` in `subtypes`

0ecc680e

JeffBezanson merged b5a59467 into master 7 years ago

JeffBezanson deleted the jb/fastersubtypes branch 7 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone