blob: 52beb6e5f5be4c2eefdc59a28f7d606fd917388a [file] [log] [blame]
with Ada.Unchecked_Conversion;
package Incomplete6 is
type Vint;
function "=" (Left, Right : Vint) return Boolean;
type Vint is record
Value : Integer;
end record;
function To_Integer is new
Ada.Unchecked_Conversion(Source => Vint, Target => Integer);
type Vfloat;
function "=" (Left, Right : in Vfloat) return Boolean;
type Vfloat is record
Value : Float;
end record;
end;