The function
If a function with the name
The execution of the Refal program amounts to evaluating the call to the function
The module that contains the definition of the main function is permitted to have no
interface part, in which case the Refal Plus compiler assumes the module's interface to
consist of the single function declaration: