You can declare EQUEL variables with type record if you have already defined the record to EQUEL. Later sections discuss the syntax of EQUEL record definitions. You can also declare formal parameters of type record to subprograms. In that case, the EQUEL record definition must follow the EQUEL subprogram statement. Later sections discuss record type formal parameters.