ABC/Machine/Program.dcl


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

definition module ABC.Machine.Program

from ABC.Machine.Def import ::InstrId, ::Instruction, ::State

pc_init :: InstrId
pc_next :: InstrId -> InstrId
pc_halt :: InstrId -> InstrId
pc_end  :: InstrId -> Bool

:: ProgramStore

ps_get  :: InstrId ProgramStore -> Instruction
ps_init :: [Instruction] -> ProgramStore