ADA - hacer llama a unidades genericas

with Ada.Text_IO;

procedure Programa_Principal is

   generic

      type Tipo_Dato is private;

      with function "<" (X, Y: Tipo_Dato) return Boolean;

      with function ">=" (X, Y: Tipo_Dato) return Boolean;

      with procedure Get (X: in out Tipo_Dato); -- get para tipos escalar: enteros, enumerados, reales

      with procedure Get_Line (X: in out Tipo_Dato; Dim: in out Natural); -- get para string

   package Mi_Unidad is

      -- Implementación de la unidad genérica

   end Mi_Unidad;

   -- Instanciar solo algunos parámetros genéricos

   package Enteros is new Mi_Unidad(Tipo_Dato => Integer, "<" => "<", ">=" => ">=", Get => Ada.Text_IO.Get);

   package Strings is new Mi_Unidad(Tipo_Dato => String, "<" => "<", ">=" => ">=", Get_Line => Ada.Text_IO.Get_Line);

   -- Usar las instancias

   X : Integer;

   S : String(1..100);

begin

   Enteros.Get(X);

   Strings.Get_Line(S, S'Length');

   -- Resto del código del programa principal

end Programa_Principal;