16 lines
599 B
Ada
16 lines
599 B
Ada
generic
|
|
type Number is private;
|
|
Zero : Number;
|
|
One : Number;
|
|
Two : Number;
|
|
with function "+" (X, Y : Number) return Number is <>;
|
|
with function "*" (X, Y : Number) return Number is <>;
|
|
with function "/" (X, Y : Number) return Number is <>;
|
|
with function "mod" (X, Y : Number) return Number is <>;
|
|
with function ">" (X, Y : Number) return Boolean is <>;
|
|
package Prime_Numbers is
|
|
type Number_List is array (Positive range <>) of Number;
|
|
function Decompose (N : Number) return Number_List;
|
|
function Is_Prime (N : Number) return Boolean;
|
|
end Prime_Numbers;
|