Ada程式语言中，说明部分的子程式、程式包或任务的本体必须同时在同一说明部分中提供。如果它们是分别独立编译的子单位，则在原来应存放它们的本体的地方要放体的存根，亦即留一个名字及有关资讯备查。存根形式如下：子程式体存根是：子程式说明is separate；程式包体存根为：package body标志is separate；任务体存根为：task body标志is separate。