Positivity check in type constructors#811

loutr wants to merge 3 commits intoEasyCrypt:mainEasyCrypt/easycrypt:mainfrom

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