Prevent type parameters in subtypes#1012

strub merged 1 commit into

mainEasyCrypt/easycrypt:mainfrom

prevent-subtype-type-variablesEasyCrypt/easycrypt:prevent-subtype-type-variablesCopy head branch name to clipboard