tailId :: String
tailId = "tail"
+-- | minimum ftp function identifier
+minimumId :: String
+minimumId = "minimum"
-- | take function identifier
takeId :: String
resizeId :: String
resizeId = "resize"
+smallIntegerId :: String
+smallIntegerId = "smallInteger"
+
+sizedIntId :: String
+sizedIntId = "SizedInt"
+
+tfvecId :: String
+tfvecId = "TFVec"
+
-- | output file identifier (from std.textio)
showIdString :: String
showIdString = "show"