import AbsCSyn(CAddrMode)
import CgMonad(CgInfoDownwards, CgState)
pushUpdateFrame :: CAddrMode -> CAddrMode -> (CgInfoDownwards -> CgState -> CgState) -> CgInfoDownwards -> CgState -> CgState
import AbsCSyn(CAddrMode)
import CgMonad(CgInfoDownwards, CgState)
pushUpdateFrame :: CAddrMode -> CAddrMode -> (CgInfoDownwards -> CgState -> CgState) -> CgInfoDownwards -> CgState -> CgState