1 files changed, 17 insertions, 0 deletions
diff --git a/ABC/IO.dcl b/ABC/IO.dcl
new file mode 100644
index 0000000..501d8cc
--- /dev/null
+++ b/ABC/IO.dcl
@@ -0,0 +1,17 @@
+definition module ABC.IO
+
+from StdOverloaded import class toString
+
+from ABC.Nodes import ::Node
+from ABC.GraphStore import ::Desc
+from ABC.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