Ada. Time-tested, safe and secure.

The keyword is separates the name of an entity from its definition.

In type declarations

type Day_Of_Month is new range 1 .. 31;

See Ada Programming/Types and Ada Programming/Subtypes.

In subtype declarations

subtype Day_Of_February is Day_Of_Month range 1 .. 29;

See Ada Programming/Subtypes.

In package declarations

package My_Package is
   ... -- declarations
end My_Package;

See Ada Programming/Packages.

In procedure and function declaration

procedure My_Procedure is
   ... -- declarations    
begin
   ... -- sentences    
end My_Procedure;

See Ada Programming/Subprograms.

In generic instantiations

package Day_Of_Month_IO is 
      new Ada.Text_IO.Integer_IO (Num => Day_Of_Month);

See Ada Programming/Generics.

See also