Wed, 14 Nov 2012 13:10:05 +0000Add method to determine the id (name) of a datatype.
Mario de Sousa <msousa@fe.up.pt> [Wed, 14 Nov 2012 13:10:05 +0000] rev 727
Add method to determine the id (name) of a datatype.