Slide 30 of 41
Notes:
This is a fairly simple slide, showing the application of a tag to a type definition with nothing following the tag, and with the EXPLICIT and IMPLICIT keywords following the tag.
The meaning of the keywords is fairly obvious - the tagging of the type is to be implicit (overriding the outermost tag in the tag-list) or explicit (adding a new outermost tag to the tag-list).
The only difficult bit is knowing when you are allowed to implicitly tag something (you are always allowed to explicitly tag anything), and knowing what the tagging is if there is no keyword (IMPLICIT or EXPLICIT) after the tag. This latter depends on the module defaults, and is discussed in the following slides.
