Move unfolding of fst and snd earlier#142

JasonGross merged 1 commit into

mit-plv:mastermit-plv/rewriter:masterfrom

JasonGross:faster-cbnJasonGross/rewriter:faster-cbnCopy head branch name to clipboard