1 with Ada
.Unchecked_Conversion
;
6 function "=" (Left
, Right
: Vint
) return Boolean;
12 function To_Integer
is new
13 Ada
.Unchecked_Conversion
(Source
=> Vint
, Target
=> Integer);
16 function "=" (Left
, Right
: in Vfloat
) return Boolean;