When defining a modular definition, one needs to use some phyla belonging to an other formalism. There is no ``import'' or ``use'' clause in AS to import names from an other formalism. One have to use a typed identifier of the form P::L where L is the name a formalism, and P the name of a phylum belonging to this formalism. If ``L'' is not accessible to the type-checker, or if ``P'' does not belong to L, an error message is produced.
Syntax:
tid --> id | id "::" id