refactor(pl): if/match/case on the conditional alone, with pushes - #1174

refactor(pl): if/match/case on the conditional alone, with pushes#1174

strub wants to merge 1 commit into

pl/rcondEasyCrypt/easycrypt:pl/rcondfrom

pl/condEasyCrypt/easycrypt:pl/condCopy head branch name to clipboard