changeset 727 | db5881e6facd |
parent 699 | 0307fa16db3f |
child 778 | 44e02a88f1e7 |
--- a/absyntax_utils/get_datatype_info.hh Tue Nov 13 18:03:17 2012 +0000 +++ b/absyntax_utils/get_datatype_info.hh Wed Nov 14 13:10:05 2012 +0000 @@ -57,6 +57,8 @@ public: + static symbol_c *get_datatype_id(symbol_c *datatype); /* get the identifier (name) of the datatype); returns NULL if anonymous datatype! */ + static bool is_type_equal(symbol_c *first_type, symbol_c *second_type); static bool is_type_valid(symbol_c *type);