Ada 是一种基于模块化的编程语言，它使用包来组织代码和数据。下面是一个示例，展示了如何在 Ada 中实现一个简单的包。

-- 定义一个包
package MyPackage is

   -- 声明一个常量
   constant MyConstant : Integer := 42;

   -- 声明一个类型
   type MyType is range 1 .. 10;

   -- 声明一个子程序
   procedure MyProcedure (Param : in Integer);

   -- 声明一个私有类型和子程序
   private
      type PrivateType is range 1 .. 100;
      procedure PrivateProcedure (Param : in Integer);

end MyPackage;

-- 实现包
package body MyPackage is

   -- 实现子程序
   procedure MyProcedure (Param : in Integer) is
   begin
      -- 执行一些操作
      null;
   end MyProcedure;

   -- 实现私有子程序
   procedure PrivateProcedure (Param : in Integer) is
   begin
      -- 执行一些操作
      null;
   end PrivateProcedure;

end MyPackage;

-- 使用包
with MyPackage;

procedure Main is
begin
   -- 使用常量
   Ada.Text_IO.Put_Line ("Constant value: " & Integer'Image(MyPackage.MyConstant));

   -- 使用类型
   declare
      Variable : MyPackage.MyType := 5;
   begin
      -- 调用子程序
      MyPackage.MyProcedure(Variable);
   end;
end Main;

在上面的示例中，我们首先定义了一个名为 MyPackage 的包。包中包含了一个常量 MyConstant、一个类型 MyType 和一个子程序 MyProcedure。我们还定义了一个私有类型 PrivateType 和一个私有子程序 PrivateProcedure，它们只能在包内部使用。

然后，在 MyPackage 的实现部分中，我们对子程序 MyProcedure 和私有子程序 PrivateProcedure 进行了实现。

最后，在主程序中，我们使用 with MyPackage 来引入包，并使用其中的常量、类型和子程序。在这个例子中，我们打印了常量的值并调用了子程序。

请注意，上述示例只是一个简单的示例，实际的包可能会包含更多的常量、类型和子程序。此外，Ada 包还支持其他特性，如泛型和异常处理等。