Searched defs:pVarLift (Results 1 – 1 of 1) sorted by relevance
315 pVarLift (LMGlobalVar s t l x a c) = LMGlobalVar s (pLift t) l x a c function316 pVarLift (LMLocalVar s t ) = LMLocalVar s (pLift t) function317 pVarLift (LMNLocalVar s t ) = LMNLocalVar s (pLift t) function318 pVarLift (LMLitVar _ ) = error $ "Can't lower a literal type!" function