1 files changed, 14 insertions, 0 deletions
diff --git a/Descriptors.dcl b/Descriptors.dcl
new file mode 100644
index 0000000..b2dcce4
--- /dev/null
+++ b/Descriptors.dcl
@@ -0,0 +1,14 @@
+definition module ABC.Descriptors
+
+from ABC.Def import ::Arity, ::InstrId
+
+:: 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