EQUEL/Ada supports a subset of Ada type declarations. In a declaration, the EQUEL preprocessor only notes semantic information relevant to the use of the variable in EQUEL statements at runtime. Other semantic information is ignored by the preprocessor. Refer to the syntax notes in this section and its subsections for details.