generic
   -- valid commands, that can be entered through the command line
   type Command_Type is (<>);

   -- a function that contains the control logic for the execution of the commands.
   with function Handle_Command ( Command : in Command_Type ) return boolean;
package Command_Line_Generic is

type Command_Type is (<>);

with function Handle_Command 
(
 Command
: in Command_Type ) return boolean;

procedure Get_Command;