refactor(pl): codetx as program transformations - #1183

refactor(pl): codetx as program transformations#1183

strub wants to merge 1 commit into

pl/inlineEasyCrypt/easycrypt:pl/inlinefrom

pl/codetxEasyCrypt/easycrypt:pl/codetxCopy head branch name to clipboard