ABC/Machine/CStack.dcl


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

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