From ceb0b74bd0b368124679378ebfb2cf316deb2e39 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 5 Jul 2016 17:25:10 +0200
Subject: Added Machine as module level

---
 ABC/Machine/Program.dcl | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 ABC/Machine/Program.dcl

(limited to 'ABC/Machine/Program.dcl')

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
-- 
cgit v1.2.3