diff options
Diffstat (limited to 'GraphStore.dcl')
| -rw-r--r-- | GraphStore.dcl | 11 |
1 files changed, 11 insertions, 0 deletions
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 |