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.