definition module ABC.Machine.CStack

from StdOverloaded import class toString
from ABC.Machine.Def import ::InstrId

:: CSrc    :== Int
:: CDst    :== Int
:: CStack (:== [InstrId])

instance toString CStack

cs_init :: CStack
cs_get  :: CSrc CStack -> InstrId
cs_popn :: CSrc CStack -> CStack
cs_push :: InstrId CStack -> CStack