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/Driver.dcl | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 ABC/Machine/Driver.dcl

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

diff --git a/ABC/Machine/Driver.dcl b/ABC/Machine/Driver.dcl
new file mode 100644
index 0000000..5beebe5
--- /dev/null
+++ b/ABC/Machine/Driver.dcl
@@ -0,0 +1,7 @@
+definition module ABC.Machine.Driver
+
+from ABC.Machine.Def import ::State, ::Instruction
+from ABC.Machine.GraphStore import ::Desc
+
+boot        :: ([Instruction], [Desc]) -> State
+fetch_cycle :: State -> State
-- 
cgit v1.2.3