From 55e6cadc298beda9d079d99147b3cb0f50ce25ec Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 1 Jul 2016 09:11:02 +0200
Subject: Printing

---
 GraphStore.dcl | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

(limited to 'GraphStore.dcl')

diff --git a/GraphStore.dcl b/GraphStore.dcl
index 5095a78..108a77e 100644
--- a/GraphStore.dcl
+++ b/GraphStore.dcl
@@ -1,10 +1,24 @@
 definition module ABC.GraphStore
 
-from ABC.Def import ::NodeId
+from StdOverloaded import class toString
+from ABC.Def import ::Arity, ::InstrId, ::Name, ::APEntry, ::DescId, ::NodeId
 from ABC.Nodes import ::Node
 
+:: Desc = Desc APEntry Arity Name
+
+d_ap_entry :: Desc -> InstrId
+d_arity    :: Desc -> Arity
+d_name     :: Desc -> String
+
+:: DescStore (:== [Desc])
+
+ds_get     :: DescId DescStore -> Desc
+ds_init    :: [Desc] -> DescStore
+
 :: GraphStore
 
+show_graphstore :: GraphStore DescStore -> String
+
 gs_get     :: NodeId GraphStore -> Node
 gs_init    :: GraphStore
 gs_newnode :: GraphStore -> (GraphStore, NodeId)
-- 
cgit v1.2.3