Cloning: support inlining a type via clone-inline (clinline)#1021

strub merged 1 commit into

mainEasyCrypt/easycrypt:mainfrom

deploy-tyd-clinline-prEasyCrypt/easycrypt:deploy-tyd-clinline-prCopy head branch name to clipboard