declaration/definition
define (overloaded dynamic? | overriding)? result-type? function function-name argument-list? elsewhere define result-type infix-function value type name operator value type name elsewhere define type conversion-function value type input-value elsewhere declare record record-name (extends record-name)? elsewhere global shelf-type shelf-name (variable (to numeric expression)? | size numeric expression)? elsewhere
Allows the pre-definition of a name without defining all the details about the name.
elsewhere
can be used to pre-define functions, records, and global variables and constants.