From 9498270f46646c34cba3885a2e455b08daf9c324 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Thu, 30 Jun 2016 21:18:07 +0200
Subject: Descriptors, Program

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

(limited to 'Program.dcl')

diff --git a/Program.dcl b/Program.dcl
new file mode 100644
index 0000000..31b61d7
--- /dev/null
+++ b/Program.dcl
@@ -0,0 +1,13 @@
+definition module ABC.Program
+
+from ABC.Def import ::InstrId, ::Instruction
+
+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