declaration/definition
define (overloaded? dynamic? | overriding) type? function function-name argument-list? elsewhere define type infix-function value type name operator value type name elsewhere define type conversion-function value type name elsewhere declare record record-name (extends record-name)? elsewhere global type shelf-name (variable (to numeric expression)? | size numeric expression)? elsewhere
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 shelves and constants.