3.6. Package Calling - JulTob/Ada GitHub Wiki

Using Entities from Packages

Entities declared in the visible part of a package specification can be made accessible using a with clause that references the package.

Is similar to the C++ #include directive.

After a with clause, entities need to be prefixed by the name of their package.

This prefix can be omitted if a use clause is employed.

pck.ads

package Pck is
    Global_Var : Integer;
  end Pck;

main.adb

with Pck;  -- HERE!
procedure Main is
 begin
   Pck.Global_Var := 0;  -- Dot operator
 end Main;