smt: add [smt_inline] operator tag to δ/β-reduce at use sites#1039

strub merged 1 commit into

mainEasyCrypt/easycrypt:mainfrom

fix-1033EasyCrypt/easycrypt:fix-1033Copy head branch name to clipboard