fix(clone): compare oracle-call restrictions when overriding a module type - #1133

fix(clone): compare oracle-call restrictions when overriding a module type#1133

strub merged 1 commit into

EasyCrypt:mainEasyCrypt/easycrypt:mainfrom

Yiping106283:fix-clone-modtype-oinfosYiping106283/easycrypt:fix-clone-modtype-oinfosCopy head branch name to clipboard