1 files changed, 4 insertions, 0 deletions
diff --git a/Def.dcl b/Def.dcl
index 3f1e203..fe68896 100644
--- a/Def.dcl
+++ b/Def.dcl
@@ -2,4 +2,8 @@ definition module ABC.Def
 
 :: NodeId  :== Int
 :: NrArgs  :== Int
+:: ArgNr   :== Int
+:: DescId  :== Int
 :: InstrId :== Int
+
+:: Args    :== [NodeId]