make Nitpick output the message "Hint: Maybe you forgot a type constraint?" only for syntactic classes
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rISABELLE549855d22044: merged
- Branches
- Unknown
- Tags
make Nitpick output the message "Hint: Maybe you forgot a type constraint?"… Tags None Subscribers None |