From e715e592237b979f3cfffdd9f4d167222454b88f Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Thu, 30 Jun 2016 20:20:26 +0200
Subject: A,B,C-stacks

---
 CStack.dcl | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 CStack.dcl

(limited to 'CStack.dcl')

diff --git a/CStack.dcl b/CStack.dcl
new file mode 100644
index 0000000..8aa6824
--- /dev/null
+++ b/CStack.dcl
@@ -0,0 +1,12 @@
+definition module ABC.CStack
+
+from ABC.Def import ::InstrId
+
+:: CSrc    :== Int
+:: CDst    :== Int
+:: CStack (:== [InstrId])
+
+cs_init :: CStack
+cs_get  :: CSrc CStack -> InstrId
+cs_popn :: CSrc CStack -> CStack
+cs_push :: InstrId CStack -> CStack
-- 
cgit v1.2.3