refactor(pl): inline as program transformations - #1182

refactor(pl): inline as program transformations#1182

strub wants to merge 1 commit into

pl/swapEasyCrypt/easycrypt:pl/swapfrom

pl/inlineEasyCrypt/easycrypt:pl/inlineCopy head branch name to clipboard