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