CSN.1 does not have the notion of a module. We have introduced this rule as a way to assist in the mapping of CSN.1 to ASN.1
Module : 'ASN1MODULE' ':' asn1_typeReference ';' DefinitionList DefinitionList : DefinitionList Definition | Definition Definition : '<' EXTENDED_NAME '>' '::=' CSN1String ';'
The Module production makes up the entire content of a CSN.1 specification. It allows the CSN.1 author to specify the ASN.1 module into which the CSN.1 shall be mapped. The asn1_typeReference specifies the ASN.1 module name.
asn1_typeReference must be a valid ASN.1 typereference.
Definition defines a CSN.1 string and gives it a name, allowing it to be used elsewhere by reference.