Ada95 Reference Manual - 3.11.1 Completions of Declarations Go to the first , previous , next , last section, table of contents .
Declarations sometimes come in two parts.
A declaration that requires a second part is said to require completion. An implicit declaration shall not have a completion. For any explicit declaration that is specified to require completion, there shall be a corresponding explicit completion. At most one completion is allowed for a given declaration. Additional requirements on completions appear where each kind of completion is defined.