A qualified declaration can only occur inside a module.

Additional Information

The current declaration or definition is qualified by 'EXPORT' but is not occurring inside a module.

Explanation

The EXPORT or REQUIRE qualifications can appear only in modules.

[ INDEX ] [ CONCEPTS ] [ TASKS ] [ SYNTAX ] [ LIBRARIES ] [ LEGACY LIBRARIES ] [ ERRORS ]