Hosted by
|
with Real_Numbers; use Real_Numbers;
package Intersections is
type Intersection is record
X : Real;
White_To_Black : Boolean;
end record;
function To_String
(Item : in Intersection)
return String;
function "<"
(A, B : in Intersection)
return Boolean;
end Intersections;
|