blob: db2c0c0b2180606f80169f3a9c1dd6d03e98ec52 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
definition module ABC.Def
from ABC.AStack import ::AStack
from ABC.BStack import ::BStack
from ABC.CStack import ::CStack
from ABC.GraphStore import ::GraphStore, ::DescStore
from ABC.Program import ::ProgramStore
from ABC.IO import ::IO
:: State = { astack :: AStack
, bstack :: BStack
, cstack :: CStack
, graphstore :: GraphStore
, descstore :: DescStore
, pc :: InstrId
, program :: ProgramStore
, io :: IO
}
:: NodeId :== Int
:: NrArgs :== Int
:: ArgNr :== Int
:: DescId :== Int
:: InstrId :== Int
:: Name :== String
:: Arity :== Int
:: Instruction :== State -> State
:: APEntry :== InstrId
:: Args :== [NodeId]
|
