In Ada, a process that makes declaration to be effect.

• 在Ada语言中，一种使说明成为有效的过程。