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.