We do not define a tag data type here, since this is too much bound to the particular use (e.g. list or tree structure). However we define a tag name and some special names.
We do not define a tag data type here, since this is too much bound to the particular use (e.g. list or tree structure). However we define a tag name and some special names.