Suppose module M1 exports objects a, b, c, and P by enumerating its identifiers in an explicit export list DEFINITION MODULE M1; EXPORT QUALIFIED a, b, c, P; ...
Předpokládejme, že modul M1 má exportovány objekty a, b, c a P jako výčet identifikátorů v exportním listu: DEFINITION MODULE M1; EXPORT QUALIFIED a, b, c, P; ...