Allow memory preserving destruction of formulas to yield distinct types#933

strub merged 1 commit intomainEasyCrypt/easycrypt:mainfrom

fix-rewrite-pr-unitEasyCrypt/easycrypt:fix-rewrite-pr-unitCopy head branch name to clipboard