Previous Topic: Module Identifier

Next Topic: Exports


Module Definitions

Following the DEFINITIONS keyword the default tagging options can be set to EXPLICIT TAGS (the default) or IMPLICIT TAGS. Tagging is discussed in more detail later. The assignment sequence (::=) is then followed by the BEGIN keyword. The BEGIN and END keywords bracket the module body.