Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add isparametrictype trait #3725

Merged
merged 1 commit into from
Feb 20, 2025
Merged

Add isparametrictype trait #3725

merged 1 commit into from
Feb 20, 2025

Conversation

schillic
Copy link
Member

This function is used in one place to prevent bugs later when adding other parametric set types.
The function is not exported.

@schillic schillic force-pushed the schillic/isparametrictype branch from 5b17d48 to 564c5ee Compare December 30, 2024 09:22
@schillic schillic marked this pull request as ready for review December 30, 2024 09:54
@schillic schillic force-pushed the schillic/isparametrictype branch from 564c5ee to ab28bda Compare January 4, 2025 07:51
@schillic schillic merged commit 6232c3d into master Feb 20, 2025
7 checks passed
@schillic schillic deleted the schillic/isparametrictype branch February 20, 2025 17:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants