相关疑难解决方法(0)

我无法弄清楚separateAda 中的关键字及其深度概念。请举个小例子帮助我理解？

假设我有一个嵌套过程

with ada.text_io; use ada.text_io;
procedure main is
   procedure proc is
   begin
      put_line ("i am proc");
   end proc;
begin
   put_line ("main");
end main;

如何使用单独的关键字？