1with Ada.Unchecked_Conversion; 2 3package Incomplete6 is 4 5 type Vint; 6 function "=" (Left, Right : Vint) return Boolean; 7 8 type Vint is record 9 Value : Integer; 10 end record; 11 12 function To_Integer is new 13 Ada.Unchecked_Conversion(Source => Vint, Target => Integer); 14 15 type Vfloat; 16 function "=" (Left, Right : in Vfloat) return Boolean; 17 18 type Vfloat is record 19 Value : Float; 20 end record; 21 22end; 23