Printing

1 files changed, 15 insertions, 1 deletions

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)