AStack.icl


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

definition module ABC.AStack

from ABC.Def import ::NodeId, ::NrArgs

:: ASrc    :== Int
:: ADst    :== Int
:: AStack (:== [NodeId])

as_get    :: ASrc AStack -> NodeId
as_init   :: AStack
as_popn   :: NrArgs AStack -> AStack
as_push   :: NodeId AStack -> AStack
as_pushn  :: [NodeId] AStack -> AStack
as_topn   :: NrArgs AStack -> [NodeId]
as_update :: ADst NodeId AStack -> AStack