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