diff options
Diffstat (limited to 'ABC/Machine/Program.dcl')
| -rw-r--r-- | ABC/Machine/Program.dcl | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/ABC/Machine/Program.dcl b/ABC/Machine/Program.dcl new file mode 100644 index 0000000..0526e56 --- /dev/null +++ b/ABC/Machine/Program.dcl @@ -0,0 +1,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 |