cp0: combine dropping a binding and `begin` rotation#796

Merged

mflatt merged 1 commit intocisco:mainfrom mflatt:cp0-drop-over-rotate

Jan 31, 2024

+87-16

Commits on Jan 25, 2024

adjust cp0 to combine begin rotation and variable dropping

owaddell-beckman
authored and
mflatt
committed