lengthTId :: String
lengthTId = "lengthT"
+fstId :: String
+fstId = "fst"
+
+sndId :: String
+sndId = "snd"
+
+-- Equality Operations
+equalityId :: String
+equalityId = "=="
+
+inEqualityId :: String
+inEqualityId = "/="
+
+boolOrId :: String
+boolOrId = "||"
+
+boolAndId :: String
+boolAndId = "&&"
+
-- Numeric Operations
-- | plus operation identifier
resizeId :: String
resizeId = "resize"
+smallIntegerId :: String
+smallIntegerId = "smallInteger"
+
sizedIntId :: String
sizedIntId = "SizedInt"
tfvecId :: String
tfvecId = "TFVec"
+blockRAMId :: String
+blockRAMId = "blockRAM"
+
-- | output file identifier (from std.textio)
showIdString :: String
showIdString = "show"