From 344a53260664c83c05e2a82ebe76110d1548b02b Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Thu, 30 Jun 2016 21:04:54 +0200
Subject: GraphStore, Nodes

---
 GraphStore.dcl | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 GraphStore.dcl

(limited to 'GraphStore.dcl')

diff --git a/GraphStore.dcl b/GraphStore.dcl
new file mode 100644
index 0000000..5095a78
--- /dev/null
+++ b/GraphStore.dcl
@@ -0,0 +1,11 @@
+definition module ABC.GraphStore
+
+from ABC.Def import ::NodeId
+from ABC.Nodes import ::Node
+
+:: GraphStore
+
+gs_get     :: NodeId GraphStore -> Node
+gs_init    :: GraphStore
+gs_newnode :: GraphStore -> (GraphStore, NodeId)
+gs_update  :: NodeId (Node -> Node) GraphStore -> GraphStore
-- 
cgit v1.2.3