4 Names

Names are generalizations of identifiers, to allow reference to entities across modules. A name is an identifier preceded by a sequence of module identifiers separated by grave accents:

Id, Id1`Id, Id2`Id1`Id, Id3`Id2`Id1`Id

Here Id is the local name of the entity, Id1 is the identifier of the module from which the entity is originally imported; Id2 is the module from which it is exported after being imported from Id1, and so on. Any of the modules can be an ordinary module or an instantiation (see section 10.3).