package Hera.Installations.Updates is

   procedure Hire_Workers
     (Installation : Installation_Type);

   procedure Pay_Workers
     (Installation : Installation_Type);

   procedure Execute_Production
     (Installation : Installation_Type);

end Hera.Installations.Updates;
