blob: 423b81c13ba838d1ec8a332430607e7410980e5f (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
definition module ABC.AStack
from StdOverloaded import class toString
from ABC.Def import ::NodeId, ::NrArgs
:: ASrc :== Int
:: ADst :== Int
:: AStack (:== [NodeId])
instance toString AStack
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
|
