package point1 is
function makepoint(x: Real, y: Real) return Point;
function x_coord(P: Point) return Real;
function y_coord(P: Point) return Real;
end point1;
package body point1 is
function makepoint(x: Real, y: Real) return Point;
- - implementation of makepoint
function x_coord(P: Point) return Real;
- - implementation of x_coord
function y_coord(P: Point) return Real;
- - implementation of y_coord
end point1;
Package specification and body are part of value specification!