An ELSEWHERE definition for a function in one module cannot be satisfied by an AS definition in a different module.

Additional Information

The function is 'X', first predefined on line L of file 'F'.

Explanation

An exported function has been predeclared with ELSEWHERE definition in one module, and fully defined in another. This is not allowed.

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