17.3.2 Implicit With ¶

This feature allows a standalone use clause in the context clause of a compilation unit to imply an implicit with of the same library unit where an equivalent with clause would be allowed.

use Ada.Text_IO;
procedure Main is
begin
   Put_Line ("Hello");
end;