swift
12f97553 - NCGenerics: fix PCT's genSig minimization

Commit

1 year ago

NCGenerics: fix PCT's genSig minimization We need to fold away inverses here too, so use `getRequirementsWithInverses`.

References

Author

kavon

Parents