package_declaration ::= package_specification;
package_specification ::= package defining_program_unit_name is
{basic_declarative_item}
[private
{basic_declarative_item}]
end [[parent_unit_name.]identifier]
La siguiente especificación es de un paquete llamado "Pila_De_enteros" que ofrece un tipo llamado "Pila" y cuatro operaciones primitivas.
package Pila_De_Enteros is
type Pila is limited private;
procedure Apilar (P : in out Pila;E: in Integer);
procedure Desapilar (P : in out Pila);
function Cima (P : Pila) return Integer;
function Es_Vacía (P : Pila) return Boolean;
private
type Nodo is record
Info: Integer;
Sig : Pila;
end record;
type Pila is access Nodo;
end Pila_De_Enteros;