Anfonwch hwn fel neges destun: Two for the Price of One: Lifting Separation Logic Assertions