1 files changed, 13 insertions, 0 deletions
diff --git a/ABC/Program.dcl b/ABC/Program.dcl
new file mode 100644
index 0000000..ffdf948
--- /dev/null
+++ b/ABC/Program.dcl
@@ -0,0 +1,13 @@
+definition module ABC.Program
+
+from ABC.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