refactor(pl): explicit, recheckable frame rule per logic - #1157

refactor(pl): explicit, recheckable frame rule per logic#1157

strub wants to merge 1 commit into

pl/seqEasyCrypt/easycrypt:pl/seqfrom

pl/frameEasyCrypt/easycrypt:pl/frameCopy head branch name to clipboard