RegAlloc.Linear.State
data RA_State freeRegs
data RegM freeRegs a
runR
spillR
loadR
getFreeRegsR
setFreeRegsR
getAssigR
setAssigR
getBlockAssigR
setBlockAssigR
setDeltaR
getDeltaR
getUniqueR
recordSpill