Added Machine as module level

1 files changed, 17 insertions, 0 deletions

diff --git a/ABC/Machine/IO.dcl b/ABC/Machine/IO.dcl
new file mode 100644
index 0000000..a9b1c5b
--- /dev/null
+++ b/ABC/Machine/IO.dcl
@@ -0,0 +1,17 @@
+definition module ABC.Machine.IO
+
+from StdOverloaded import class toString
+
+from ABC.Machine.Nodes import ::Node
+from ABC.Machine.GraphStore import ::Desc
+from ABC.Machine.Def import ::State
+
+:: IO (:== [Char])
+
+instance toString IO
+
+io_init  :: IO
+io_print :: a IO -> IO | toString a
+
+show_node :: Node Desc -> String
+instance toString State