Positivity check in type constructors#811

loutr wants to merge 1 commit intoEasyCrypt:mainEasyCrypt/easycrypt:mainfrom

loutr:positivity-check-in-type-constructorsloutr/easycrypt:positivity-check-in-type-constructorsCopy head branch name to clipboard