In Ada, a process that makes declaration to be effect

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